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

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

=== Now, execution of the tool begins

BK_START 1494642914626


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-COL-S04J06T08 @ 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: 5060/65536 symbol table entries, 918 collisions
lola: preprocessing...
lola: finding significant places
lola: 792 places, 4268 transitions, 734 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2899 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S04J06T08-UpperBounds.task
lola: MAX(p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473) : MAX(p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293) : MAX(p328 + p329 + p330 + p331) : MAX(p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464) : MAX(p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326) : MAX(p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515) : MAX(p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438) : MAX(p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197) : MAX(p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14) : MAX(p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464) : MAX(p375) : MAX(p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605) : MAX(p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178) : MAX(p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589) : MAX(p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473) : MAX(p565)
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(p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 22951 markings, 24866 edges, 4590 markings/sec, 0 secs
lola: 45866 markings, 49934 edges, 4583 markings/sec, 5 secs
lola: 68702 markings, 74962 edges, 4567 markings/sec, 10 secs
lola: 91554 markings, 100174 edges, 4570 markings/sec, 15 secs
lola: 114351 markings, 125382 edges, 4559 markings/sec, 20 secs
lola: 137189 markings, 150791 edges, 4568 markings/sec, 25 secs
lola: 160008 markings, 176093 edges, 4564 markings/sec, 30 secs
lola: 182839 markings, 201687 edges, 4566 markings/sec, 35 secs
lola: 205640 markings, 227191 edges, 4560 markings/sec, 40 secs
lola: 228415 markings, 252715 edges, 4555 markings/sec, 45 secs
lola: 251218 markings, 278295 edges, 4561 markings/sec, 50 secs
lola: 274010 markings, 304167 edges, 4558 markings/sec, 55 secs
lola: 296740 markings, 329643 edges, 4546 markings/sec, 60 secs
lola: 319464 markings, 355082 edges, 4545 markings/sec, 65 secs
lola: 342220 markings, 380819 edges, 4551 markings/sec, 70 secs
lola: 364960 markings, 406511 edges, 4548 markings/sec, 75 secs
lola: 387716 markings, 432154 edges, 4551 markings/sec, 80 secs
lola: 410494 markings, 457756 edges, 4556 markings/sec, 85 secs
lola: 433250 markings, 483087 edges, 4551 markings/sec, 90 secs
lola: 455967 markings, 508614 edges, 4543 markings/sec, 95 secs
lola: 478718 markings, 533457 edges, 4550 markings/sec, 100 secs
lola: 501446 markings, 559031 edges, 4546 markings/sec, 105 secs
lola: 524195 markings, 584728 edges, 4550 markings/sec, 110 secs
lola: 546898 markings, 610211 edges, 4541 markings/sec, 115 secs
lola: 569613 markings, 635826 edges, 4543 markings/sec, 120 secs
lola: 592315 markings, 661270 edges, 4540 markings/sec, 125 secs
lola: 615042 markings, 686364 edges, 4545 markings/sec, 130 secs
lola: 637780 markings, 712279 edges, 4548 markings/sec, 135 secs
lola: 660505 markings, 738016 edges, 4545 markings/sec, 140 secs
lola: 683224 markings, 763409 edges, 4544 markings/sec, 145 secs
lola: 705972 markings, 788935 edges, 4550 markings/sec, 150 secs
lola: 728659 markings, 814680 edges, 4537 markings/sec, 155 secs
lola: 751306 markings, 839894 edges, 4529 markings/sec, 160 secs
lola: 773984 markings, 865406 edges, 4536 markings/sec, 165 secs
lola: 796715 markings, 891357 edges, 4546 markings/sec, 170 secs
lola: 819422 markings, 917092 edges, 4541 markings/sec, 175 secs
lola: 842118 markings, 942816 edges, 4539 markings/sec, 180 secs
lola: 864738 markings, 968157 edges, 4524 markings/sec, 185 secs
lola: 887450 markings, 993834 edges, 4542 markings/sec, 190 secs
lola: 910120 markings, 1019477 edges, 4534 markings/sec, 195 secs
lola: 932839 markings, 1045015 edges, 4544 markings/sec, 200 secs
lola: 955580 markings, 1071065 edges, 4548 markings/sec, 205 secs
lola: 978307 markings, 1097049 edges, 4545 markings/sec, 210 secs
lola: 1000994 markings, 1122913 edges, 4537 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(p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 23015 markings, 23763 edges, 4603 markings/sec, 0 secs
lola: 45778 markings, 47463 edges, 4553 markings/sec, 5 secs
lola: 67845 markings, 70453 edges, 4413 markings/sec, 10 secs
lola: 89899 markings, 93497 edges, 4411 markings/sec, 15 secs
lola: 111954 markings, 116680 edges, 4411 markings/sec, 20 secs
lola: 133983 markings, 139905 edges, 4406 markings/sec, 25 secs
lola: 155971 markings, 163193 edges, 4398 markings/sec, 30 secs
lola: 177964 markings, 186333 edges, 4399 markings/sec, 35 secs
lola: 199975 markings, 209594 edges, 4402 markings/sec, 40 secs
lola: 222922 markings, 233779 edges, 4589 markings/sec, 45 secs
lola: 245808 markings, 258179 edges, 4577 markings/sec, 50 secs
lola: 268666 markings, 282578 edges, 4572 markings/sec, 55 secs
lola: 291467 markings, 307105 edges, 4560 markings/sec, 60 secs
lola: 314308 markings, 331475 edges, 4568 markings/sec, 65 secs
lola: 337098 markings, 355775 edges, 4558 markings/sec, 70 secs
lola: 359889 markings, 380214 edges, 4558 markings/sec, 75 secs
lola: 382779 markings, 404601 edges, 4578 markings/sec, 80 secs
lola: 405721 markings, 429192 edges, 4588 markings/sec, 85 secs
lola: 428647 markings, 453861 edges, 4585 markings/sec, 90 secs
lola: 451553 markings, 478628 edges, 4581 markings/sec, 95 secs
lola: 474477 markings, 503275 edges, 4585 markings/sec, 100 secs
lola: 497371 markings, 528079 edges, 4579 markings/sec, 105 secs
lola: 520288 markings, 552574 edges, 4583 markings/sec, 110 secs
lola: 543248 markings, 577073 edges, 4592 markings/sec, 115 secs
lola: 566157 markings, 601943 edges, 4582 markings/sec, 120 secs
lola: 589086 markings, 626722 edges, 4586 markings/sec, 125 secs
lola: 611980 markings, 651612 edges, 4579 markings/sec, 130 secs
lola: 634880 markings, 676265 edges, 4580 markings/sec, 135 secs
lola: 657811 markings, 700867 edges, 4586 markings/sec, 140 secs
lola: 680753 markings, 725439 edges, 4588 markings/sec, 145 secs
lola: 703648 markings, 750168 edges, 4579 markings/sec, 150 secs
lola: 726550 markings, 775075 edges, 4580 markings/sec, 155 secs
lola: 749421 markings, 799873 edges, 4574 markings/sec, 160 secs
lola: 772314 markings, 824705 edges, 4579 markings/sec, 165 secs
lola: 795127 markings, 849483 edges, 4563 markings/sec, 170 secs
lola: 817979 markings, 874358 edges, 4570 markings/sec, 175 secs
lola: 840867 markings, 899088 edges, 4578 markings/sec, 180 secs
lola: 863731 markings, 923672 edges, 4573 markings/sec, 185 secs
lola: 886576 markings, 948448 edges, 4569 markings/sec, 190 secs
lola: 909435 markings, 973178 edges, 4572 markings/sec, 195 secs
lola: 932293 markings, 997883 edges, 4572 markings/sec, 200 secs
lola: 955182 markings, 1022417 edges, 4578 markings/sec, 205 secs
lola: 978098 markings, 1047027 edges, 4583 markings/sec, 210 secs
lola: 1000992 markings, 1071791 edges, 4579 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(p328 + p329 + p330 + p331)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 22548 markings, 23409 edges, 4510 markings/sec, 0 secs
lola: 46122 markings, 48316 edges, 4715 markings/sec, 5 secs
lola: 69718 markings, 73019 edges, 4719 markings/sec, 10 secs
lola: 93335 markings, 97600 edges, 4723 markings/sec, 15 secs
lola: 116984 markings, 122204 edges, 4730 markings/sec, 20 secs
lola: 140681 markings, 146931 edges, 4739 markings/sec, 25 secs
lola: 164364 markings, 171570 edges, 4737 markings/sec, 30 secs
lola: 187997 markings, 196379 edges, 4727 markings/sec, 35 secs
lola: 211639 markings, 221260 edges, 4728 markings/sec, 40 secs
lola: 235284 markings, 246073 edges, 4729 markings/sec, 45 secs
lola: 258928 markings, 270783 edges, 4729 markings/sec, 50 secs
lola: 282568 markings, 295678 edges, 4728 markings/sec, 55 secs
lola: 306235 markings, 320472 edges, 4733 markings/sec, 60 secs
lola: 329831 markings, 345462 edges, 4719 markings/sec, 65 secs
lola: 353479 markings, 370356 edges, 4730 markings/sec, 70 secs
lola: 377131 markings, 395303 edges, 4730 markings/sec, 75 secs
lola: 400795 markings, 420272 edges, 4733 markings/sec, 80 secs
lola: 424391 markings, 444946 edges, 4719 markings/sec, 85 secs
lola: 448024 markings, 469829 edges, 4727 markings/sec, 90 secs
lola: 471674 markings, 494708 edges, 4730 markings/sec, 95 secs
lola: 495298 markings, 519449 edges, 4725 markings/sec, 100 secs
lola: 518901 markings, 544288 edges, 4721 markings/sec, 105 secs
lola: 542562 markings, 569206 edges, 4732 markings/sec, 110 secs
lola: 566194 markings, 594137 edges, 4726 markings/sec, 115 secs
lola: 589825 markings, 619008 edges, 4726 markings/sec, 120 secs
lola: 613376 markings, 643812 edges, 4710 markings/sec, 125 secs
lola: 636964 markings, 668738 edges, 4718 markings/sec, 130 secs
lola: 660526 markings, 693597 edges, 4712 markings/sec, 135 secs
lola: 684173 markings, 718438 edges, 4729 markings/sec, 140 secs
lola: 707770 markings, 743355 edges, 4719 markings/sec, 145 secs
lola: 731361 markings, 768212 edges, 4718 markings/sec, 150 secs
lola: 754944 markings, 793145 edges, 4717 markings/sec, 155 secs
lola: 778559 markings, 817978 edges, 4723 markings/sec, 160 secs
lola: 802211 markings, 842916 edges, 4730 markings/sec, 165 secs
lola: 825828 markings, 867892 edges, 4723 markings/sec, 170 secs
lola: 849464 markings, 892756 edges, 4727 markings/sec, 175 secs
lola: 873021 markings, 917577 edges, 4711 markings/sec, 180 secs
lola: 896651 markings, 942524 edges, 4726 markings/sec, 185 secs
lola: 920244 markings, 967412 edges, 4719 markings/sec, 190 secs
lola: 943820 markings, 992374 edges, 4715 markings/sec, 195 secs
lola: 967421 markings, 1017255 edges, 4720 markings/sec, 200 secs
lola: 990991 markings, 1042166 edges, 4714 markings/sec, 205 secs
lola: 1014592 markings, 1067088 edges, 4720 markings/sec, 210 secs
lola: 1038207 markings, 1091989 edges, 4723 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(p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 23357 markings, 24324 edges, 4671 markings/sec, 0 secs
lola: 46708 markings, 48903 edges, 4670 markings/sec, 5 secs
lola: 70104 markings, 73372 edges, 4679 markings/sec, 10 secs
lola: 93514 markings, 97873 edges, 4682 markings/sec, 15 secs
lola: 116964 markings, 122194 edges, 4690 markings/sec, 20 secs
lola: 140476 markings, 146691 edges, 4702 markings/sec, 25 secs
lola: 163948 markings, 171165 edges, 4694 markings/sec, 30 secs
lola: 187364 markings, 195679 edges, 4683 markings/sec, 35 secs
lola: 210788 markings, 220325 edges, 4685 markings/sec, 40 secs
lola: 234229 markings, 244839 edges, 4688 markings/sec, 45 secs
lola: 257652 markings, 269432 edges, 4685 markings/sec, 50 secs
lola: 281057 markings, 293941 edges, 4681 markings/sec, 55 secs
lola: 304435 markings, 318336 edges, 4676 markings/sec, 60 secs
lola: 327879 markings, 342988 edges, 4689 markings/sec, 65 secs
lola: 351275 markings, 367634 edges, 4679 markings/sec, 70 secs
lola: 374667 markings, 392029 edges, 4678 markings/sec, 75 secs
lola: 398061 markings, 416662 edges, 4679 markings/sec, 80 secs
lola: 421483 markings, 441295 edges, 4684 markings/sec, 85 secs
lola: 444955 markings, 465976 edges, 4694 markings/sec, 90 secs
lola: 468383 markings, 490562 edges, 4686 markings/sec, 95 secs
lola: 491807 markings, 515173 edges, 4685 markings/sec, 100 secs
lola: 515242 markings, 539972 edges, 4687 markings/sec, 105 secs
lola: 538651 markings, 564642 edges, 4682 markings/sec, 110 secs
lola: 562069 markings, 589261 edges, 4684 markings/sec, 115 secs
lola: 585434 markings, 613828 edges, 4673 markings/sec, 120 secs
lola: 608784 markings, 638362 edges, 4670 markings/sec, 125 secs
lola: 632151 markings, 662998 edges, 4673 markings/sec, 130 secs
lola: 655484 markings, 687519 edges, 4667 markings/sec, 135 secs
lola: 678800 markings, 712231 edges, 4663 markings/sec, 140 secs
lola: 702170 markings, 737015 edges, 4674 markings/sec, 145 secs
lola: 725544 markings, 761698 edges, 4675 markings/sec, 150 secs
lola: 748925 markings, 786308 edges, 4676 markings/sec, 155 secs
lola: 772336 markings, 811019 edges, 4682 markings/sec, 160 secs
lola: 795789 markings, 835623 edges, 4691 markings/sec, 165 secs
lola: 819208 markings, 860454 edges, 4684 markings/sec, 170 secs
lola: 842572 markings, 885039 edges, 4673 markings/sec, 175 secs
lola: 865940 markings, 909661 edges, 4674 markings/sec, 180 secs
lola: 889344 markings, 934193 edges, 4681 markings/sec, 185 secs
lola: 912727 markings, 958836 edges, 4677 markings/sec, 190 secs
lola: 936079 markings, 983557 edges, 4670 markings/sec, 195 secs
lola: 959417 markings, 1008265 edges, 4668 markings/sec, 200 secs
lola: 982825 markings, 1032976 edges, 4682 markings/sec, 205 secs
lola: 1006231 markings, 1057601 edges, 4681 markings/sec, 210 secs
lola: 1029540 markings, 1082259 edges, 4662 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(p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 21842 markings, 22656 edges, 4368 markings/sec, 0 secs
lola: 43649 markings, 45592 edges, 4361 markings/sec, 5 secs
lola: 65437 markings, 69359 edges, 4358 markings/sec, 10 secs
lola: 87233 markings, 92841 edges, 4359 markings/sec, 15 secs
lola: 109059 markings, 116967 edges, 4365 markings/sec, 20 secs
lola: 130724 markings, 140664 edges, 4333 markings/sec, 25 secs
lola: 152344 markings, 164218 edges, 4324 markings/sec, 30 secs
lola: 174270 markings, 188401 edges, 4385 markings/sec, 35 secs
lola: 196216 markings, 214158 edges, 4389 markings/sec, 40 secs
lola: 217610 markings, 238626 edges, 4279 markings/sec, 45 secs
lola: 238815 markings, 262121 edges, 4241 markings/sec, 50 secs
lola: 259957 markings, 286802 edges, 4228 markings/sec, 55 secs
lola: 281125 markings, 311460 edges, 4234 markings/sec, 60 secs
lola: 302340 markings, 336983 edges, 4243 markings/sec, 65 secs
lola: 323510 markings, 362814 edges, 4234 markings/sec, 70 secs
lola: 344654 markings, 389503 edges, 4229 markings/sec, 75 secs
lola: 365815 markings, 413595 edges, 4232 markings/sec, 80 secs
lola: 386927 markings, 437800 edges, 4222 markings/sec, 85 secs
lola: 408108 markings, 463308 edges, 4236 markings/sec, 90 secs
lola: 429284 markings, 488698 edges, 4235 markings/sec, 95 secs
lola: 450407 markings, 512918 edges, 4225 markings/sec, 100 secs
lola: 471598 markings, 537134 edges, 4238 markings/sec, 105 secs
lola: 492736 markings, 560869 edges, 4228 markings/sec, 110 secs
lola: 513889 markings, 585836 edges, 4231 markings/sec, 115 secs
lola: 535059 markings, 610633 edges, 4234 markings/sec, 120 secs
lola: 556292 markings, 635292 edges, 4247 markings/sec, 125 secs
lola: 577389 markings, 660694 edges, 4219 markings/sec, 130 secs
lola: 598539 markings, 686032 edges, 4230 markings/sec, 135 secs
lola: 619712 markings, 710519 edges, 4235 markings/sec, 140 secs
lola: 640882 markings, 735771 edges, 4234 markings/sec, 145 secs
lola: 662061 markings, 760397 edges, 4236 markings/sec, 150 secs
lola: 683200 markings, 785672 edges, 4228 markings/sec, 155 secs
lola: 704316 markings, 810742 edges, 4223 markings/sec, 160 secs
lola: 725483 markings, 836122 edges, 4233 markings/sec, 165 secs
lola: 746609 markings, 861282 edges, 4225 markings/sec, 170 secs
lola: 767739 markings, 885594 edges, 4226 markings/sec, 175 secs
lola: 788954 markings, 909729 edges, 4243 markings/sec, 180 secs
lola: 810187 markings, 934937 edges, 4247 markings/sec, 185 secs
lola: 831326 markings, 959786 edges, 4228 markings/sec, 190 secs
lola: 852511 markings, 984965 edges, 4237 markings/sec, 195 secs
lola: 873669 markings, 1010449 edges, 4232 markings/sec, 200 secs
lola: 894837 markings, 1036128 edges, 4234 markings/sec, 205 secs
lola: 915993 markings, 1060815 edges, 4231 markings/sec, 210 secs
lola: 937241 markings, 1085407 edges, 4250 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(p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 22527 markings, 23418 edges, 4505 markings/sec, 0 secs
lola: 44999 markings, 47140 edges, 4494 markings/sec, 5 secs
lola: 67503 markings, 70663 edges, 4501 markings/sec, 10 secs
lola: 90028 markings, 94244 edges, 4505 markings/sec, 15 secs
lola: 112589 markings, 117640 edges, 4512 markings/sec, 20 secs
lola: 135191 markings, 141193 edges, 4520 markings/sec, 25 secs
lola: 157746 markings, 164681 edges, 4511 markings/sec, 30 secs
lola: 180286 markings, 188275 edges, 4508 markings/sec, 35 secs
lola: 202824 markings, 211884 edges, 4508 markings/sec, 40 secs
lola: 225320 markings, 235548 edges, 4499 markings/sec, 45 secs
lola: 247761 markings, 259128 edges, 4488 markings/sec, 50 secs
lola: 271078 markings, 283485 edges, 4663 markings/sec, 55 secs
lola: 294458 markings, 307861 edges, 4676 markings/sec, 60 secs
lola: 317900 markings, 332483 edges, 4688 markings/sec, 65 secs
lola: 341300 markings, 357109 edges, 4680 markings/sec, 70 secs
lola: 364611 markings, 381515 edges, 4662 markings/sec, 75 secs
lola: 388007 markings, 406038 edges, 4679 markings/sec, 80 secs
lola: 411388 markings, 430657 edges, 4676 markings/sec, 85 secs
lola: 434784 markings, 455270 edges, 4679 markings/sec, 90 secs
lola: 458198 markings, 479915 edges, 4683 markings/sec, 95 secs
lola: 481564 markings, 504388 edges, 4673 markings/sec, 100 secs
lola: 504720 markings, 528877 edges, 4631 markings/sec, 105 secs
lola: 528065 markings, 553531 edges, 4669 markings/sec, 110 secs
lola: 551432 markings, 578054 edges, 4673 markings/sec, 115 secs
lola: 574554 markings, 602370 edges, 4624 markings/sec, 120 secs
lola: 597864 markings, 626896 edges, 4662 markings/sec, 125 secs
lola: 621004 markings, 651258 edges, 4628 markings/sec, 130 secs
lola: 644313 markings, 675810 edges, 4662 markings/sec, 135 secs
lola: 667552 markings, 700305 edges, 4648 markings/sec, 140 secs
lola: 690898 markings, 725030 edges, 4669 markings/sec, 145 secs
lola: 713507 markings, 748971 edges, 4522 markings/sec, 150 secs
lola: 736035 markings, 772696 edges, 4506 markings/sec, 155 secs
lola: 758072 markings, 795966 edges, 4407 markings/sec, 160 secs
lola: 781253 markings, 820321 edges, 4636 markings/sec, 165 secs
lola: 804401 markings, 844780 edges, 4630 markings/sec, 170 secs
lola: 827165 markings, 868832 edges, 4553 markings/sec, 175 secs
lola: 849364 markings, 892261 edges, 4440 markings/sec, 180 secs
lola: 872513 markings, 916500 edges, 4630 markings/sec, 185 secs
lola: 895695 markings, 940880 edges, 4636 markings/sec, 190 secs
lola: 918399 markings, 964804 edges, 4541 markings/sec, 195 secs
lola: 940789 markings, 988573 edges, 4478 markings/sec, 200 secs
lola: 963656 markings, 1012714 edges, 4573 markings/sec, 205 secs
lola: 986313 markings, 1036655 edges, 4531 markings/sec, 210 secs
lola: 1008435 markings, 1059922 edges, 4424 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(p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 23032 markings, 24032 edges, 4606 markings/sec, 0 secs
lola: 46000 markings, 48677 edges, 4594 markings/sec, 5 secs
lola: 68793 markings, 73025 edges, 4559 markings/sec, 10 secs
lola: 88668 markings, 94702 edges, 3975 markings/sec, 15 secs
lola: 110684 markings, 119317 edges, 4403 markings/sec, 20 secs
lola: 132689 markings, 143595 edges, 4401 markings/sec, 25 secs
lola: 154727 markings, 168057 edges, 4408 markings/sec, 30 secs
lola: 176689 markings, 192410 edges, 4392 markings/sec, 35 secs
lola: 198661 markings, 217638 edges, 4394 markings/sec, 40 secs
lola: 220563 markings, 243502 edges, 4380 markings/sec, 45 secs
lola: 242507 markings, 268291 edges, 4389 markings/sec, 50 secs
lola: 264416 markings, 293599 edges, 4382 markings/sec, 55 secs
lola: 286350 markings, 319061 edges, 4387 markings/sec, 60 secs
lola: 308264 markings, 344073 edges, 4383 markings/sec, 65 secs
lola: 330238 markings, 369014 edges, 4395 markings/sec, 70 secs
lola: 352092 markings, 395103 edges, 4371 markings/sec, 75 secs
lola: 374019 markings, 421530 edges, 4385 markings/sec, 80 secs
lola: 395917 markings, 447367 edges, 4380 markings/sec, 85 secs
lola: 417827 markings, 472715 edges, 4382 markings/sec, 90 secs
lola: 439718 markings, 498321 edges, 4378 markings/sec, 95 secs
lola: 461653 markings, 524053 edges, 4387 markings/sec, 100 secs
lola: 483531 markings, 550417 edges, 4376 markings/sec, 105 secs
lola: 505387 markings, 576641 edges, 4371 markings/sec, 110 secs
lola: 527308 markings, 602137 edges, 4384 markings/sec, 115 secs
lola: 549198 markings, 627721 edges, 4378 markings/sec, 120 secs
lola: 571140 markings, 653354 edges, 4388 markings/sec, 125 secs
lola: 593035 markings, 678782 edges, 4379 markings/sec, 130 secs
lola: 614919 markings, 704193 edges, 4377 markings/sec, 135 secs
lola: 636797 markings, 730172 edges, 4376 markings/sec, 140 secs
lola: 658651 markings, 755363 edges, 4371 markings/sec, 145 secs
lola: 680497 markings, 781180 edges, 4369 markings/sec, 150 secs
lola: 702310 markings, 807335 edges, 4363 markings/sec, 155 secs
lola: 724199 markings, 833198 edges, 4378 markings/sec, 160 secs
lola: 746156 markings, 858751 edges, 4391 markings/sec, 165 secs
lola: 768090 markings, 884255 edges, 4387 markings/sec, 170 secs
lola: 789944 markings, 914122 edges, 4371 markings/sec, 175 secs
lola: 811799 markings, 939225 edges, 4371 markings/sec, 180 secs
lola: 833651 markings, 965314 edges, 4370 markings/sec, 185 secs
lola: 855497 markings, 990830 edges, 4369 markings/sec, 190 secs
lola: 877326 markings, 1016427 edges, 4366 markings/sec, 195 secs
lola: 899124 markings, 1041811 edges, 4360 markings/sec, 200 secs
lola: 920843 markings, 1067508 edges, 4344 markings/sec, 205 secs
lola: 942657 markings, 1093902 edges, 4363 markings/sec, 210 secs
lola: 964500 markings, 1120255 edges, 4369 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(p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 22648 markings, 22970 edges, 4530 markings/sec, 0 secs
lola: 45264 markings, 46071 edges, 4523 markings/sec, 5 secs
lola: 67928 markings, 69275 edges, 4533 markings/sec, 10 secs
lola: 90675 markings, 92728 edges, 4549 markings/sec, 15 secs
lola: 113424 markings, 116216 edges, 4550 markings/sec, 20 secs
lola: 136136 markings, 139488 edges, 4542 markings/sec, 25 secs
lola: 158868 markings, 163011 edges, 4546 markings/sec, 30 secs
lola: 181585 markings, 186413 edges, 4543 markings/sec, 35 secs
lola: 204259 markings, 209719 edges, 4535 markings/sec, 40 secs
lola: 227094 markings, 233348 edges, 4567 markings/sec, 45 secs
lola: 250309 markings, 257273 edges, 4643 markings/sec, 50 secs
lola: 273672 markings, 281299 edges, 4673 markings/sec, 55 secs
lola: 297123 markings, 305533 edges, 4690 markings/sec, 60 secs
lola: 320520 markings, 329622 edges, 4679 markings/sec, 65 secs
lola: 343923 markings, 353738 edges, 4681 markings/sec, 70 secs
lola: 367421 markings, 378116 edges, 4700 markings/sec, 75 secs
lola: 390400 markings, 401818 edges, 4596 markings/sec, 80 secs
lola: 413945 markings, 426029 edges, 4709 markings/sec, 85 secs
lola: 437568 markings, 450339 edges, 4725 markings/sec, 90 secs
lola: 461219 markings, 474814 edges, 4730 markings/sec, 95 secs
lola: 484861 markings, 499215 edges, 4728 markings/sec, 100 secs
lola: 508381 markings, 523373 edges, 4704 markings/sec, 105 secs
lola: 531133 markings, 546927 edges, 4550 markings/sec, 110 secs
lola: 553849 markings, 570430 edges, 4543 markings/sec, 115 secs
lola: 576572 markings, 593901 edges, 4545 markings/sec, 120 secs
lola: 599301 markings, 617483 edges, 4546 markings/sec, 125 secs
lola: 621975 markings, 640993 edges, 4535 markings/sec, 130 secs
lola: 644637 markings, 664475 edges, 4532 markings/sec, 135 secs
lola: 667400 markings, 688186 edges, 4553 markings/sec, 140 secs
lola: 690101 markings, 711794 edges, 4540 markings/sec, 145 secs
lola: 712750 markings, 735315 edges, 4530 markings/sec, 150 secs
lola: 735470 markings, 758855 edges, 4544 markings/sec, 155 secs
lola: 758211 markings, 782491 edges, 4548 markings/sec, 160 secs
lola: 780874 markings, 805960 edges, 4533 markings/sec, 165 secs
lola: 803582 markings, 829534 edges, 4542 markings/sec, 170 secs
lola: 827264 markings, 854119 edges, 4736 markings/sec, 175 secs
lola: 850935 markings, 878676 edges, 4734 markings/sec, 180 secs
lola: 874641 markings, 903220 edges, 4741 markings/sec, 185 secs
lola: 898343 markings, 927911 edges, 4740 markings/sec, 190 secs
lola: 922018 markings, 952407 edges, 4735 markings/sec, 195 secs
lola: 945729 markings, 977060 edges, 4742 markings/sec, 200 secs
lola: 969407 markings, 1001665 edges, 4736 markings/sec, 205 secs
lola: 993093 markings, 1026204 edges, 4737 markings/sec, 210 secs
lola: 1016792 markings, 1050825 edges, 4740 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(p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 23443 markings, 24353 edges, 4689 markings/sec, 0 secs
lola: 46915 markings, 49132 edges, 4694 markings/sec, 5 secs
lola: 70250 markings, 73568 edges, 4667 markings/sec, 10 secs
lola: 93750 markings, 98030 edges, 4700 markings/sec, 15 secs
lola: 116718 markings, 121927 edges, 4594 markings/sec, 20 secs
lola: 139129 markings, 145298 edges, 4482 markings/sec, 25 secs
lola: 162250 markings, 169354 edges, 4624 markings/sec, 30 secs
lola: 185318 markings, 193510 edges, 4614 markings/sec, 35 secs
lola: 208481 markings, 217891 edges, 4633 markings/sec, 40 secs
lola: 231962 markings, 242608 edges, 4696 markings/sec, 45 secs
lola: 254123 markings, 265760 edges, 4432 markings/sec, 50 secs
lola: 277009 markings, 289808 edges, 4577 markings/sec, 55 secs
lola: 299592 markings, 313548 edges, 4517 markings/sec, 60 secs
lola: 322424 markings, 337668 edges, 4566 markings/sec, 65 secs
lola: 345216 markings, 361655 edges, 4558 markings/sec, 70 secs
lola: 368698 markings, 386405 edges, 4696 markings/sec, 75 secs
lola: 391203 markings, 410138 edges, 4501 markings/sec, 80 secs
lola: 413986 markings, 434081 edges, 4557 markings/sec, 85 secs
lola: 437422 markings, 458652 edges, 4687 markings/sec, 90 secs
lola: 459868 markings, 482309 edges, 4489 markings/sec, 95 secs
lola: 483040 markings, 506594 edges, 4634 markings/sec, 100 secs
lola: 505681 markings, 530341 edges, 4528 markings/sec, 105 secs
lola: 528769 markings, 554655 edges, 4618 markings/sec, 110 secs
lola: 551801 markings, 578930 edges, 4606 markings/sec, 115 secs
lola: 575111 markings, 603460 edges, 4662 markings/sec, 120 secs
lola: 598486 markings, 628094 edges, 4675 markings/sec, 125 secs
lola: 621465 markings, 652305 edges, 4596 markings/sec, 130 secs
lola: 643795 markings, 675970 edges, 4466 markings/sec, 135 secs
lola: 666365 markings, 699738 edges, 4514 markings/sec, 140 secs
lola: 689816 markings, 724408 edges, 4690 markings/sec, 145 secs
lola: 713241 markings, 749104 edges, 4685 markings/sec, 150 secs
lola: 735077 markings, 772134 edges, 4367 markings/sec, 155 secs
lola: 757552 markings, 795888 edges, 4495 markings/sec, 160 secs
lola: 777805 markings, 817189 edges, 4051 markings/sec, 165 secs
lola: 801280 markings, 841931 edges, 4695 markings/sec, 170 secs
lola: 823884 markings, 865849 edges, 4521 markings/sec, 175 secs
lola: 846981 markings, 890130 edges, 4619 markings/sec, 180 secs
lola: 869549 markings, 913932 edges, 4514 markings/sec, 185 secs
lola: 892536 markings, 938180 edges, 4597 markings/sec, 190 secs
lola: 915632 markings, 962568 edges, 4619 markings/sec, 195 secs
lola: 937628 markings, 985792 edges, 4399 markings/sec, 200 secs
lola: 960381 markings, 1009829 edges, 4551 markings/sec, 205 secs
lola: 983752 markings, 1034542 edges, 4674 markings/sec, 210 secs
lola: 1006942 markings, 1059023 edges, 4638 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(p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 23501 markings, 24482 edges, 4700 markings/sec, 0 secs
lola: 46941 markings, 49142 edges, 4688 markings/sec, 5 secs
lola: 70465 markings, 73748 edges, 4705 markings/sec, 10 secs
lola: 93924 markings, 98294 edges, 4692 markings/sec, 15 secs
lola: 117443 markings, 122688 edges, 4704 markings/sec, 20 secs
lola: 141022 markings, 147255 edges, 4716 markings/sec, 25 secs
lola: 164536 markings, 171792 edges, 4703 markings/sec, 30 secs
lola: 188044 markings, 196381 edges, 4702 markings/sec, 35 secs
lola: 211522 markings, 221078 edges, 4696 markings/sec, 40 secs
lola: 235022 markings, 245666 edges, 4700 markings/sec, 45 secs
lola: 258523 markings, 270346 edges, 4700 markings/sec, 50 secs
lola: 281991 markings, 294895 edges, 4694 markings/sec, 55 secs
lola: 305445 markings, 319386 edges, 4691 markings/sec, 60 secs
lola: 328854 markings, 344025 edges, 4682 markings/sec, 65 secs
lola: 352039 markings, 368428 edges, 4637 markings/sec, 70 secs
lola: 375108 markings, 392490 edges, 4614 markings/sec, 75 secs
lola: 397799 markings, 416385 edges, 4538 markings/sec, 80 secs
lola: 420526 markings, 440286 edges, 4545 markings/sec, 85 secs
lola: 443546 markings, 464473 edges, 4604 markings/sec, 90 secs
lola: 466019 markings, 488088 edges, 4495 markings/sec, 95 secs
lola: 488461 markings, 511650 edges, 4488 markings/sec, 100 secs
lola: 510902 markings, 535363 edges, 4488 markings/sec, 105 secs
lola: 533338 markings, 559058 edges, 4487 markings/sec, 110 secs
lola: 556277 markings, 583146 edges, 4588 markings/sec, 115 secs
lola: 579499 markings, 607575 edges, 4644 markings/sec, 120 secs
lola: 602193 markings, 631461 edges, 4539 markings/sec, 125 secs
lola: 624843 markings, 655294 edges, 4530 markings/sec, 130 secs
lola: 647503 markings, 679168 edges, 4532 markings/sec, 135 secs
lola: 670812 markings, 703734 edges, 4662 markings/sec, 140 secs
lola: 694465 markings, 728855 edges, 4731 markings/sec, 145 secs
lola: 718087 markings, 753810 edges, 4724 markings/sec, 150 secs
lola: 741376 markings, 778342 edges, 4658 markings/sec, 155 secs
lola: 764081 markings, 802329 edges, 4541 markings/sec, 160 secs
lola: 787359 markings, 826740 edges, 4656 markings/sec, 165 secs
lola: 810617 markings, 851333 edges, 4652 markings/sec, 170 secs
lola: 833883 markings, 875893 edges, 4653 markings/sec, 175 secs
lola: 857156 markings, 900484 edges, 4655 markings/sec, 180 secs
lola: 880259 markings, 924616 edges, 4621 markings/sec, 185 secs
lola: 903532 markings, 949136 edges, 4655 markings/sec, 190 secs
lola: 926747 markings, 973656 edges, 4643 markings/sec, 195 secs
lola: 950213 markings, 998588 edges, 4693 markings/sec, 200 secs
lola: 973600 markings, 1023239 edges, 4677 markings/sec, 205 secs
lola: 996982 markings, 1047861 edges, 4676 markings/sec, 210 secs
lola: 1020380 markings, 1072530 edges, 4680 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(p375)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 24447 markings, 25314 edges, 4889 markings/sec, 0 secs
lola: 48827 markings, 50944 edges, 4876 markings/sec, 5 secs
lola: 73019 markings, 76037 edges, 4838 markings/sec, 10 secs
lola: 97217 markings, 101652 edges, 4840 markings/sec, 15 secs
lola: 121400 markings, 127523 edges, 4837 markings/sec, 20 secs
lola: 145692 markings, 153866 edges, 4858 markings/sec, 25 secs
lola: 169889 markings, 179717 edges, 4839 markings/sec, 30 secs
lola: 194076 markings, 205984 edges, 4837 markings/sec, 35 secs
lola: 218177 markings, 231837 edges, 4820 markings/sec, 40 secs
lola: 242211 markings, 257994 edges, 4807 markings/sec, 45 secs
lola: 266276 markings, 283854 edges, 4813 markings/sec, 50 secs
lola: 290362 markings, 309869 edges, 4817 markings/sec, 55 secs
lola: 314452 markings, 336069 edges, 4818 markings/sec, 60 secs
lola: 338614 markings, 362485 edges, 4832 markings/sec, 65 secs
lola: 362731 markings, 388905 edges, 4823 markings/sec, 70 secs
lola: 386923 markings, 415688 edges, 4838 markings/sec, 75 secs
lola: 410974 markings, 442321 edges, 4810 markings/sec, 80 secs
lola: 435108 markings, 469311 edges, 4827 markings/sec, 85 secs
lola: 458960 markings, 496086 edges, 4770 markings/sec, 90 secs
lola: 483240 markings, 523120 edges, 4856 markings/sec, 95 secs
lola: 507729 markings, 550250 edges, 4898 markings/sec, 100 secs
lola: 532044 markings, 577337 edges, 4863 markings/sec, 105 secs
lola: 556300 markings, 604238 edges, 4851 markings/sec, 110 secs
lola: 580654 markings, 631608 edges, 4871 markings/sec, 115 secs
lola: 605143 markings, 658885 edges, 4898 markings/sec, 120 secs
lola: 629420 markings, 686477 edges, 4855 markings/sec, 125 secs
lola: 653845 markings, 713321 edges, 4885 markings/sec, 130 secs
lola: 678159 markings, 740338 edges, 4863 markings/sec, 135 secs
lola: 702336 markings, 767497 edges, 4835 markings/sec, 140 secs
lola: 726506 markings, 794560 edges, 4834 markings/sec, 145 secs
lola: 750756 markings, 822023 edges, 4850 markings/sec, 150 secs
lola: 774900 markings, 848939 edges, 4829 markings/sec, 155 secs
lola: 798985 markings, 874955 edges, 4817 markings/sec, 160 secs
lola: 823173 markings, 901937 edges, 4838 markings/sec, 165 secs
lola: 847342 markings, 928735 edges, 4834 markings/sec, 170 secs
lola: 871466 markings, 955475 edges, 4825 markings/sec, 175 secs
lola: 895508 markings, 982342 edges, 4808 markings/sec, 180 secs
lola: 919659 markings, 1009375 edges, 4830 markings/sec, 185 secs
lola: 943907 markings, 1037016 edges, 4850 markings/sec, 190 secs
lola: 967985 markings, 1064011 edges, 4816 markings/sec, 195 secs
lola: 992131 markings, 1091447 edges, 4829 markings/sec, 200 secs
lola: 1016291 markings, 1118493 edges, 4832 markings/sec, 205 secs
lola: 1040448 markings, 1146007 edges, 4831 markings/sec, 210 secs
lola: 1064656 markings, 1173642 edges, 4842 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(p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 14731 markings, 15240 edges, 2946 markings/sec, 0 secs
lola: 29424 markings, 30714 edges, 2939 markings/sec, 5 secs
lola: 44111 markings, 46187 edges, 2937 markings/sec, 10 secs
lola: 58830 markings, 61634 edges, 2944 markings/sec, 15 secs
lola: 73544 markings, 76940 edges, 2943 markings/sec, 20 secs
lola: 88236 markings, 92352 edges, 2938 markings/sec, 25 secs
lola: 102981 markings, 107683 edges, 2949 markings/sec, 30 secs
lola: 117707 markings, 122963 edges, 2945 markings/sec, 35 secs
lola: 132491 markings, 138380 edges, 2957 markings/sec, 40 secs
lola: 147250 markings, 153736 edges, 2952 markings/sec, 45 secs
lola: 161981 markings, 169118 edges, 2946 markings/sec, 50 secs
lola: 176698 markings, 184536 edges, 2943 markings/sec, 55 secs
lola: 191435 markings, 199982 edges, 2947 markings/sec, 60 secs
lola: 206157 markings, 215363 edges, 2944 markings/sec, 65 secs
lola: 220873 markings, 230873 edges, 2943 markings/sec, 70 secs
lola: 235596 markings, 246260 edges, 2945 markings/sec, 75 secs
lola: 250301 markings, 261779 edges, 2941 markings/sec, 80 secs
lola: 265041 markings, 277153 edges, 2948 markings/sec, 85 secs
lola: 279754 markings, 292560 edges, 2943 markings/sec, 90 secs
lola: 294432 markings, 307833 edges, 2936 markings/sec, 95 secs
lola: 309140 markings, 323274 edges, 2942 markings/sec, 100 secs
lola: 323850 markings, 338729 edges, 2942 markings/sec, 105 secs
lola: 338565 markings, 354227 edges, 2943 markings/sec, 110 secs
lola: 353265 markings, 369682 edges, 2940 markings/sec, 115 secs
lola: 367942 markings, 384983 edges, 2935 markings/sec, 120 secs
lola: 382676 markings, 400490 edges, 2947 markings/sec, 125 secs
lola: 397367 markings, 415919 edges, 2938 markings/sec, 130 secs
lola: 412077 markings, 431383 edges, 2942 markings/sec, 135 secs
lola: 426808 markings, 446853 edges, 2946 markings/sec, 140 secs
lola: 441545 markings, 462364 edges, 2947 markings/sec, 145 secs
lola: 456249 markings, 477847 edges, 2941 markings/sec, 150 secs
lola: 478067 markings, 500689 edges, 4364 markings/sec, 155 secs
lola: 501284 markings, 525269 edges, 4643 markings/sec, 160 secs
lola: 524385 markings, 549668 edges, 4620 markings/sec, 165 secs
lola: 547960 markings, 574417 edges, 4715 markings/sec, 170 secs
lola: 571027 markings, 598670 edges, 4613 markings/sec, 175 secs
lola: 594241 markings, 623066 edges, 4643 markings/sec, 180 secs
lola: 617343 markings, 647363 edges, 4620 markings/sec, 185 secs
lola: 640660 markings, 671987 edges, 4663 markings/sec, 190 secs
lola: 663511 markings, 696004 edges, 4570 markings/sec, 195 secs
lola: 687014 markings, 720920 edges, 4701 markings/sec, 200 secs
lola: 710535 markings, 745824 edges, 4704 markings/sec, 205 secs
lola: 734077 markings, 770641 edges, 4708 markings/sec, 210 secs
lola: 757597 markings, 795454 edges, 4704 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(p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 23269 markings, 24057 edges, 4654 markings/sec, 0 secs
lola: 46538 markings, 48701 edges, 4654 markings/sec, 5 secs
lola: 69273 markings, 72717 edges, 4547 markings/sec, 10 secs
lola: 91521 markings, 96325 edges, 4450 markings/sec, 15 secs
lola: 113701 markings, 120059 edges, 4436 markings/sec, 20 secs
lola: 135889 markings, 144268 edges, 4438 markings/sec, 25 secs
lola: 158115 markings, 168712 edges, 4445 markings/sec, 30 secs
lola: 180337 markings, 192966 edges, 4444 markings/sec, 35 secs
lola: 202517 markings, 217660 edges, 4436 markings/sec, 40 secs
lola: 224726 markings, 242356 edges, 4442 markings/sec, 45 secs
lola: 246981 markings, 268197 edges, 4451 markings/sec, 50 secs
lola: 269206 markings, 293013 edges, 4445 markings/sec, 55 secs
lola: 291397 markings, 317921 edges, 4438 markings/sec, 60 secs
lola: 313517 markings, 342613 edges, 4424 markings/sec, 65 secs
lola: 335644 markings, 367783 edges, 4425 markings/sec, 70 secs
lola: 357900 markings, 393956 edges, 4451 markings/sec, 75 secs
lola: 380052 markings, 419466 edges, 4430 markings/sec, 80 secs
lola: 402213 markings, 444631 edges, 4432 markings/sec, 85 secs
lola: 424405 markings, 470617 edges, 4438 markings/sec, 90 secs
lola: 446583 markings, 496056 edges, 4436 markings/sec, 95 secs
lola: 468670 markings, 520566 edges, 4417 markings/sec, 100 secs
lola: 490804 markings, 546050 edges, 4427 markings/sec, 105 secs
lola: 512999 markings, 572618 edges, 4439 markings/sec, 110 secs
lola: 535188 markings, 598869 edges, 4438 markings/sec, 115 secs
lola: 557276 markings, 623471 edges, 4418 markings/sec, 120 secs
lola: 579354 markings, 649124 edges, 4416 markings/sec, 125 secs
lola: 601435 markings, 674295 edges, 4416 markings/sec, 130 secs
lola: 623567 markings, 699613 edges, 4426 markings/sec, 135 secs
lola: 645624 markings, 725161 edges, 4411 markings/sec, 140 secs
lola: 667761 markings, 750756 edges, 4427 markings/sec, 145 secs
lola: 689818 markings, 775653 edges, 4411 markings/sec, 150 secs
lola: 711872 markings, 800731 edges, 4411 markings/sec, 155 secs
lola: 733979 markings, 826809 edges, 4421 markings/sec, 160 secs
lola: 756058 markings, 851158 edges, 4416 markings/sec, 165 secs
lola: 778241 markings, 878358 edges, 4437 markings/sec, 170 secs
lola: 800335 markings, 904020 edges, 4419 markings/sec, 175 secs
lola: 822438 markings, 929280 edges, 4421 markings/sec, 180 secs
lola: 844541 markings, 955264 edges, 4421 markings/sec, 185 secs
lola: 866643 markings, 980715 edges, 4420 markings/sec, 190 secs
lola: 888691 markings, 1005673 edges, 4410 markings/sec, 195 secs
lola: 910698 markings, 1030699 edges, 4401 markings/sec, 200 secs
lola: 932710 markings, 1055720 edges, 4402 markings/sec, 205 secs
lola: 954706 markings, 1081386 edges, 4399 markings/sec, 210 secs
lola: 976765 markings, 1106818 edges, 4412 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(p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 22951 markings, 23695 edges, 4590 markings/sec, 0 secs
lola: 45886 markings, 47576 edges, 4587 markings/sec, 5 secs
lola: 68772 markings, 71428 edges, 4577 markings/sec, 10 secs
lola: 91638 markings, 95304 edges, 4573 markings/sec, 15 secs
lola: 114474 markings, 119342 edges, 4567 markings/sec, 20 secs
lola: 137295 markings, 143419 edges, 4564 markings/sec, 25 secs
lola: 160101 markings, 167573 edges, 4561 markings/sec, 30 secs
lola: 182899 markings, 191563 edges, 4560 markings/sec, 35 secs
lola: 205662 markings, 215643 edges, 4553 markings/sec, 40 secs
lola: 228470 markings, 239698 edges, 4562 markings/sec, 45 secs
lola: 251217 markings, 263974 edges, 4549 markings/sec, 50 secs
lola: 273991 markings, 288307 edges, 4555 markings/sec, 55 secs
lola: 296727 markings, 312702 edges, 4547 markings/sec, 60 secs
lola: 319504 markings, 337031 edges, 4555 markings/sec, 65 secs
lola: 342378 markings, 361421 edges, 4575 markings/sec, 70 secs
lola: 365199 markings, 385873 edges, 4564 markings/sec, 75 secs
lola: 387988 markings, 410247 edges, 4558 markings/sec, 80 secs
lola: 410738 markings, 434617 edges, 4550 markings/sec, 85 secs
lola: 433478 markings, 459044 edges, 4548 markings/sec, 90 secs
lola: 456176 markings, 483572 edges, 4540 markings/sec, 95 secs
lola: 478902 markings, 508026 edges, 4545 markings/sec, 100 secs
lola: 501583 markings, 532599 edges, 4536 markings/sec, 105 secs
lola: 524378 markings, 556922 edges, 4559 markings/sec, 110 secs
lola: 547226 markings, 581373 edges, 4570 markings/sec, 115 secs
lola: 570028 markings, 606109 edges, 4560 markings/sec, 120 secs
lola: 592850 markings, 630835 edges, 4564 markings/sec, 125 secs
lola: 615652 markings, 655536 edges, 4560 markings/sec, 130 secs
lola: 638481 markings, 680082 edges, 4566 markings/sec, 135 secs
lola: 661289 markings, 704516 edges, 4562 markings/sec, 140 secs
lola: 684125 markings, 729069 edges, 4567 markings/sec, 145 secs
lola: 706930 markings, 753729 edges, 4561 markings/sec, 150 secs
lola: 729728 markings, 778540 edges, 4560 markings/sec, 155 secs
lola: 752505 markings, 803199 edges, 4555 markings/sec, 160 secs
lola: 775299 markings, 827905 edges, 4559 markings/sec, 165 secs
lola: 798015 markings, 852615 edges, 4543 markings/sec, 170 secs
lola: 820787 markings, 877373 edges, 4554 markings/sec, 175 secs
lola: 843567 markings, 902019 edges, 4556 markings/sec, 180 secs
lola: 866329 markings, 926495 edges, 4552 markings/sec, 185 secs
lola: 889078 markings, 951159 edges, 4550 markings/sec, 190 secs
lola: 911848 markings, 975738 edges, 4554 markings/sec, 195 secs
lola: 934609 markings, 1000417 edges, 4552 markings/sec, 200 secs
lola: 957444 markings, 1024753 edges, 4567 markings/sec, 205 secs
lola: 980243 markings, 1049343 edges, 4560 markings/sec, 210 secs
lola: 1003031 markings, 1074061 edges, 4558 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(p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 22124 markings, 23943 edges, 4425 markings/sec, 0 secs
lola: 43927 markings, 47829 edges, 4361 markings/sec, 5 secs
lola: 65579 markings, 71500 edges, 4330 markings/sec, 10 secs
lola: 87237 markings, 95469 edges, 4332 markings/sec, 15 secs
lola: 108873 markings, 119341 edges, 4327 markings/sec, 20 secs
lola: 130601 markings, 143413 edges, 4346 markings/sec, 25 secs
lola: 152620 markings, 167988 edges, 4404 markings/sec, 30 secs
lola: 174615 markings, 192565 edges, 4399 markings/sec, 35 secs
lola: 196610 markings, 216961 edges, 4399 markings/sec, 40 secs
lola: 218644 markings, 241776 edges, 4407 markings/sec, 45 secs
lola: 240652 markings, 266499 edges, 4402 markings/sec, 50 secs
lola: 262658 markings, 291354 edges, 4401 markings/sec, 55 secs
lola: 284613 markings, 316078 edges, 4391 markings/sec, 60 secs
lola: 306577 markings, 340694 edges, 4393 markings/sec, 65 secs
lola: 328561 markings, 365438 edges, 4397 markings/sec, 70 secs
lola: 350469 markings, 390088 edges, 4382 markings/sec, 75 secs
lola: 372441 markings, 414966 edges, 4394 markings/sec, 80 secs
lola: 394435 markings, 439802 edges, 4399 markings/sec, 85 secs
lola: 416408 markings, 464199 edges, 4395 markings/sec, 90 secs
lola: 438380 markings, 488762 edges, 4394 markings/sec, 95 secs
lola: 460294 markings, 513377 edges, 4383 markings/sec, 100 secs
lola: 482261 markings, 537442 edges, 4393 markings/sec, 105 secs
lola: 504235 markings, 562234 edges, 4395 markings/sec, 110 secs
lola: 526169 markings, 586896 edges, 4387 markings/sec, 115 secs
lola: 548207 markings, 611673 edges, 4408 markings/sec, 120 secs
lola: 570421 markings, 636734 edges, 4443 markings/sec, 125 secs
lola: 592563 markings, 661529 edges, 4428 markings/sec, 130 secs
lola: 614729 markings, 686000 edges, 4433 markings/sec, 135 secs
lola: 636864 markings, 711248 edges, 4427 markings/sec, 140 secs
lola: 659701 markings, 737124 edges, 4567 markings/sec, 145 secs
lola: 682804 markings, 762946 edges, 4621 markings/sec, 150 secs
lola: 705811 markings, 788759 edges, 4601 markings/sec, 155 secs
lola: 728898 markings, 814944 edges, 4617 markings/sec, 160 secs
lola: 751957 markings, 840621 edges, 4612 markings/sec, 165 secs
lola: 774525 markings, 866019 edges, 4514 markings/sec, 170 secs
lola: 796677 markings, 891314 edges, 4430 markings/sec, 175 secs
lola: 818812 markings, 916400 edges, 4427 markings/sec, 180 secs
lola: 840945 markings, 941462 edges, 4427 markings/sec, 185 secs
lola: 863033 markings, 966326 edges, 4418 markings/sec, 190 secs
lola: 885192 markings, 991228 edges, 4432 markings/sec, 195 secs
lola: 907304 markings, 1016278 edges, 4422 markings/sec, 200 secs
lola: 929461 markings, 1041196 edges, 4431 markings/sec, 205 secs
lola: 951639 markings, 1066556 edges, 4436 markings/sec, 210 secs
lola: 973783 markings, 1091837 edges, 4429 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(p565)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 22948 markings, 23947 edges, 4590 markings/sec, 0 secs
lola: 45852 markings, 48528 edges, 4581 markings/sec, 5 secs
lola: 68733 markings, 72964 edges, 4576 markings/sec, 10 secs
lola: 91601 markings, 98026 edges, 4574 markings/sec, 15 secs
lola: 114440 markings, 123464 edges, 4568 markings/sec, 20 secs
lola: 137289 markings, 148679 edges, 4570 markings/sec, 25 secs
lola: 160168 markings, 174029 edges, 4576 markings/sec, 30 secs
lola: 182931 markings, 199622 edges, 4553 markings/sec, 35 secs
lola: 205713 markings, 226041 edges, 4556 markings/sec, 40 secs
lola: 228508 markings, 252340 edges, 4559 markings/sec, 45 secs
lola: 251243 markings, 278412 edges, 4547 markings/sec, 50 secs
lola: 273995 markings, 304559 edges, 4550 markings/sec, 55 secs
lola: 296779 markings, 331069 edges, 4557 markings/sec, 60 secs
lola: 319576 markings, 357144 edges, 4559 markings/sec, 65 secs
lola: 342341 markings, 383788 edges, 4553 markings/sec, 70 secs
lola: 365099 markings, 410827 edges, 4552 markings/sec, 75 secs
lola: 387862 markings, 437910 edges, 4553 markings/sec, 80 secs
lola: 410629 markings, 464260 edges, 4553 markings/sec, 85 secs
lola: 433369 markings, 490943 edges, 4548 markings/sec, 90 secs
lola: 456168 markings, 517635 edges, 4560 markings/sec, 95 secs
lola: 478896 markings, 545004 edges, 4546 markings/sec, 100 secs
lola: 501610 markings, 572329 edges, 4543 markings/sec, 105 secs
lola: 524406 markings, 598713 edges, 4559 markings/sec, 110 secs
lola: 547181 markings, 625204 edges, 4555 markings/sec, 115 secs
lola: 569964 markings, 652007 edges, 4557 markings/sec, 120 secs
lola: 592742 markings, 678292 edges, 4556 markings/sec, 125 secs
lola: 615477 markings, 704846 edges, 4547 markings/sec, 130 secs
lola: 638244 markings, 731657 edges, 4553 markings/sec, 135 secs
lola: 660959 markings, 758128 edges, 4543 markings/sec, 140 secs
lola: 683699 markings, 785165 edges, 4548 markings/sec, 145 secs
lola: 706363 markings, 812044 edges, 4533 markings/sec, 150 secs
lola: 729137 markings, 838999 edges, 4555 markings/sec, 155 secs
lola: 751979 markings, 865228 edges, 4568 markings/sec, 160 secs
lola: 774738 markings, 895278 edges, 4552 markings/sec, 165 secs
lola: 797506 markings, 922905 edges, 4554 markings/sec, 170 secs
lola: 820248 markings, 949109 edges, 4548 markings/sec, 175 secs
lola: 842952 markings, 976212 edges, 4541 markings/sec, 180 secs
lola: 865678 markings, 1002847 edges, 4545 markings/sec, 185 secs
lola: 888331 markings, 1029095 edges, 4531 markings/sec, 190 secs
lola: 911014 markings, 1055414 edges, 4537 markings/sec, 195 secs
lola: 933678 markings, 1082752 edges, 4533 markings/sec, 200 secs
lola: 956402 markings, 1110650 edges, 4545 markings/sec, 205 secs
lola: 979133 markings, 1137411 edges, 4546 markings/sec, 210 secs
lola: 1001815 markings, 1164804 edges, 4536 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494646454761

--------------------
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="PolyORBLF-COL-S04J06T08"
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/PolyORBLF-COL-S04J06T08.tgz
mv PolyORBLF-COL-S04J06T08 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 PolyORBLF-COL-S04J06T08, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r048-smll-149440869900353"
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 ;