Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_Kanban-PT-0500, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r118-blw7-149441649900128
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496353787650


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_Kanban-PT-0500: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_Kanban-PT-0500: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Kanban-PT-0500 @ 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: 32/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 16 places, 16 transitions, 11 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 14 transition conflict sets
lola: TASK
lola: reading formula from Kanban-PT-0500-UpperBounds.task
lola: MAX(Pout4) : MAX(Pm2) : MAX(Pout1) : MAX(Pm4) : MAX(P2) : MAX(Pback3) : MAX(Pback1) : MAX(Pback3) : MAX(Pback2) : MAX(Pout1) : MAX(Pout3) : MAX(P2) : MAX(P3) : MAX(Pout1) : MAX(Pout2) : MAX(Pback3)
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(Pout4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 4765741 markings, 8971551 edges, 953148 markings/sec, 0 secs
lola: 7364022 markings, 14706318 edges, 519656 markings/sec, 5 secs
lola: 9828301 markings, 20136772 edges, 492856 markings/sec, 10 secs
lola: 12159964 markings, 25291044 edges, 466333 markings/sec, 15 secs
lola: 14365807 markings, 30155765 edges, 441169 markings/sec, 20 secs
lola: 16560676 markings, 35012036 edges, 438974 markings/sec, 25 secs
lola: 18977795 markings, 40355793 edges, 483424 markings/sec, 30 secs
lola: 21213374 markings, 45290268 edges, 447116 markings/sec, 35 secs
lola: 23551286 markings, 50444559 edges, 467582 markings/sec, 40 secs
lola: 25630097 markings, 55053098 edges, 415762 markings/sec, 45 secs
lola: 28008969 markings, 60312607 edges, 475774 markings/sec, 50 secs
lola: 30039594 markings, 64790722 edges, 406125 markings/sec, 55 secs
lola: 32532686 markings, 70309087 edges, 498618 markings/sec, 60 secs
lola: 34700697 markings, 75110369 edges, 433602 markings/sec, 65 secs
lola: 37266760 markings, 80750092 edges, 513213 markings/sec, 70 secs
lola: 39559215 markings, 85831175 edges, 458491 markings/sec, 75 secs
lola: 41627655 markings, 90400604 edges, 413688 markings/sec, 80 secs
lola: 43623086 markings, 94805211 edges, 399086 markings/sec, 85 secs
lola: 45657304 markings, 99290807 edges, 406844 markings/sec, 90 secs
lola: 47594544 markings, 103599739 edges, 387448 markings/sec, 95 secs
lola: 50158126 markings, 109274849 edges, 512716 markings/sec, 100 secs
lola: 52594615 markings, 114662434 edges, 487298 markings/sec, 105 secs
lola: 54731991 markings, 119379462 edges, 427475 markings/sec, 110 secs
lola: 57251977 markings, 124950061 edges, 503997 markings/sec, 115 secs
lola: 59728740 markings, 130418204 edges, 495353 markings/sec, 120 secs
lola: 62007625 markings, 135450856 edges, 455777 markings/sec, 125 secs
lola: 64180378 markings, 140238991 edges, 434551 markings/sec, 130 secs
lola: 66608736 markings, 145623805 edges, 485672 markings/sec, 135 secs
lola: 69022414 markings, 150972328 edges, 482736 markings/sec, 140 secs
lola: 71068580 markings, 155489258 edges, 409233 markings/sec, 145 secs
lola: 73238325 markings, 160260643 edges, 433949 markings/sec, 150 secs
lola: 75632323 markings, 165594542 edges, 478800 markings/sec, 155 secs
lola: 77971433 markings, 170753888 edges, 467822 markings/sec, 160 secs
lola: 80221650 markings, 175701474 edges, 450043 markings/sec, 165 secs
lola: 82210755 markings, 180131839 edges, 397821 markings/sec, 170 secs
lola: 84306603 markings, 184733614 edges, 419170 markings/sec, 175 secs
lola: 86633753 markings, 189919230 edges, 465430 markings/sec, 180 secs
lola: 88856166 markings, 194817589 edges, 444483 markings/sec, 185 secs
lola: 90833457 markings, 199162002 edges, 395458 markings/sec, 190 secs
lola: 92834510 markings, 203605685 edges, 400211 markings/sec, 195 secs
lola: 95115029 markings, 208640494 edges, 456104 markings/sec, 200 secs
lola: 97305671 markings, 213517174 edges, 438128 markings/sec, 205 secs
lola: 99565717 markings, 218480990 edges, 452009 markings/sec, 210 secs
lola: 101604930 markings, 222999274 edges, 407843 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(Pm2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5817093 markings, 8827642 edges, 1163419 markings/sec, 0 secs
lola: 10830279 markings, 18020606 edges, 1002637 markings/sec, 5 secs
lola: 14293364 markings, 28287390 edges, 692617 markings/sec, 10 secs
lola: 17095123 markings, 35635361 edges, 560352 markings/sec, 15 secs
lola: 20313595 markings, 44780002 edges, 643694 markings/sec, 20 secs
lola: 22709094 markings, 51653335 edges, 479100 markings/sec, 25 secs
lola: 25749755 markings, 60075503 edges, 608132 markings/sec, 30 secs
lola: 28694100 markings, 67763776 edges, 588869 markings/sec, 35 secs
lola: 30987214 markings, 75294983 edges, 458623 markings/sec, 40 secs
lola: 34048290 markings, 83615052 edges, 612215 markings/sec, 45 secs
lola: 36343584 markings, 90571933 edges, 459059 markings/sec, 50 secs
lola: 39205702 markings, 99051504 edges, 572424 markings/sec, 55 secs
lola: 41888395 markings, 105679609 edges, 536539 markings/sec, 60 secs
lola: 44516878 markings, 113737689 edges, 525697 markings/sec, 65 secs
lola: 47475621 markings, 121152422 edges, 591749 markings/sec, 70 secs
lola: 49536218 markings, 128145413 edges, 412119 markings/sec, 75 secs
lola: 52370695 markings, 135954172 edges, 566895 markings/sec, 80 secs
lola: 54811413 markings, 142487575 edges, 488144 markings/sec, 85 secs
lola: 57575958 markings, 150676655 edges, 552909 markings/sec, 90 secs
lola: 59961323 markings, 157251761 edges, 477073 markings/sec, 95 secs
lola: 62616443 markings, 165104670 edges, 531024 markings/sec, 100 secs
lola: 65494971 markings, 172388549 edges, 575706 markings/sec, 105 secs
lola: 67821965 markings, 179675292 edges, 465399 markings/sec, 110 secs
lola: 70567251 markings, 188056925 edges, 549057 markings/sec, 115 secs
lola: 73133646 markings, 195045668 edges, 513279 markings/sec, 120 secs
lola: 75716426 markings, 202750702 edges, 516556 markings/sec, 125 secs
lola: 78615715 markings, 210050468 edges, 579858 markings/sec, 130 secs
lola: 81135532 markings, 217454216 edges, 503963 markings/sec, 135 secs
lola: 83940469 markings, 225395458 edges, 560987 markings/sec, 140 secs
lola: 86168344 markings, 232080869 edges, 445575 markings/sec, 145 secs
lola: 88833239 markings, 240093215 edges, 532979 markings/sec, 150 secs
lola: 91432071 markings, 246987229 edges, 519766 markings/sec, 155 secs
lola: 94196392 markings, 254665589 edges, 552864 markings/sec, 160 secs
lola: 97160963 markings, 262412078 edges, 592914 markings/sec, 165 secs
lola: 99254770 markings, 269320913 edges, 418761 markings/sec, 170 secs
lola: 101854304 markings, 276866635 edges, 519907 markings/sec, 175 secs
lola: 104345548 markings, 283814111 edges, 498249 markings/sec, 180 secs
lola: 107213969 markings, 291968775 edges, 573684 markings/sec, 185 secs
lola: 109765517 markings, 299116387 edges, 510310 markings/sec, 190 secs
lola: 112504526 markings, 307190581 edges, 547802 markings/sec, 195 secs
lola: 115578398 markings, 314936339 edges, 614774 markings/sec, 200 secs
lola: 117876242 markings, 322076590 edges, 459569 markings/sec, 205 secs
lola: 120762653 markings, 330428138 edges, 577282 markings/sec, 210 secs
lola: 123314614 markings, 337436685 edges, 510392 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(Pout1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5211299 markings, 10755192 edges, 1042260 markings/sec, 0 secs
lola: 10380309 markings, 21422899 edges, 1033802 markings/sec, 5 secs
lola: 15500002 markings, 31989697 edges, 1023939 markings/sec, 10 secs
lola: 20600820 markings, 42517231 edges, 1020164 markings/sec, 15 secs
lola: 25678129 markings, 52995818 edges, 1015462 markings/sec, 20 secs
lola: 30799099 markings, 63564143 edges, 1024194 markings/sec, 25 secs
lola: 35875275 markings, 74041075 edges, 1015235 markings/sec, 30 secs
lola: 40898656 markings, 84408465 edges, 1004676 markings/sec, 35 secs
lola: 45920524 markings, 94773230 edges, 1004374 markings/sec, 40 secs
lola: 50910326 markings, 105069857 edges, 997960 markings/sec, 45 secs
lola: 55903848 markings, 115376523 edges, 998704 markings/sec, 50 secs
lola: 60965541 markings, 125822976 edges, 1012339 markings/sec, 55 secs
lola: 65887236 markings, 135980451 edges, 984339 markings/sec, 60 secs
lola: 70881638 markings, 146287806 edges, 998880 markings/sec, 65 secs
lola: 75850898 markings, 156543867 edges, 993852 markings/sec, 70 secs
lola: 80757497 markings, 166669991 edges, 981320 markings/sec, 75 secs
lola: 85674514 markings, 176817395 edges, 983403 markings/sec, 80 secs
lola: 90623186 markings, 187030620 edges, 989734 markings/sec, 85 secs
lola: 95530920 markings, 197159724 edges, 981547 markings/sec, 90 secs
lola: 100444496 markings, 207300134 edges, 982715 markings/sec, 95 secs
lola: 105342274 markings, 217407927 edges, 979556 markings/sec, 100 secs
lola: 110200054 markings, 227433491 edges, 971556 markings/sec, 105 secs
lola: 115030456 markings, 237403078 edges, 966080 markings/sec, 110 secs
lola: 119721729 markings, 247145097 edges, 938255 markings/sec, 115 secs
lola: 124022929 markings, 256211658 edges, 860240 markings/sec, 120 secs
lola: 128191440 markings, 265001977 edges, 833702 markings/sec, 125 secs
lola: 131921243 markings, 272911318 edges, 745961 markings/sec, 130 secs
lola: 135803792 markings, 281120880 edges, 776510 markings/sec, 135 secs
lola: 139491211 markings, 288943285 edges, 737484 markings/sec, 140 secs
lola: 142968790 markings, 296327782 edges, 695516 markings/sec, 145 secs
lola: 146592395 markings, 304003606 edges, 724721 markings/sec, 150 secs
lola: 149839730 markings, 310894224 edges, 649467 markings/sec, 155 secs
lola: 153376577 markings, 318406741 edges, 707369 markings/sec, 160 secs
lola: 157078857 markings, 326227449 edges, 740456 markings/sec, 165 secs
lola: 160420582 markings, 333348776 edges, 668345 markings/sec, 170 secs
lola: 163875646 markings, 340704800 edges, 691013 markings/sec, 175 secs
lola: 167288917 markings, 347968272 edges, 682654 markings/sec, 180 secs
lola: 170667067 markings, 355171617 edges, 675630 markings/sec, 185 secs
lola: 174313704 markings, 362903496 edges, 729327 markings/sec, 190 secs
lola: 177792048 markings, 370326907 edges, 695669 markings/sec, 195 secs
lola: 181594459 markings, 378371260 edges, 760482 markings/sec, 200 secs
lola: 185114963 markings, 385878529 edges, 704101 markings/sec, 205 secs
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(Pm4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 4992851 markings, 7725849 edges, 998570 markings/sec, 0 secs
lola: 6796792 markings, 12059582 edges, 360788 markings/sec, 5 secs
lola: 8073029 markings, 16063058 edges, 255247 markings/sec, 10 secs
lola: 9372270 markings, 20143121 edges, 259848 markings/sec, 15 secs
lola: 11293755 markings, 23888476 edges, 384297 markings/sec, 20 secs
lola: 12511928 markings, 27844992 edges, 243635 markings/sec, 25 secs
lola: 13771972 markings, 31953202 edges, 252009 markings/sec, 30 secs
lola: 15887218 markings, 36333442 edges, 423049 markings/sec, 35 secs
lola: 17006014 markings, 39967665 edges, 223759 markings/sec, 40 secs
lola: 18103524 markings, 43551592 edges, 219502 markings/sec, 45 secs
lola: 19712636 markings, 47411653 edges, 321822 markings/sec, 50 secs
lola: 21119443 markings, 50837726 edges, 281361 markings/sec, 55 secs
lola: 22232555 markings, 54466183 edges, 222622 markings/sec, 60 secs
lola: 23381618 markings, 58203882 edges, 229813 markings/sec, 65 secs
lola: 25259322 markings, 61807552 edges, 375541 markings/sec, 70 secs
lola: 26313573 markings, 65239393 edges, 210850 markings/sec, 75 secs
lola: 27416508 markings, 68821426 edges, 220587 markings/sec, 80 secs
lola: 28616153 markings, 72252861 edges, 239929 markings/sec, 85 secs
lola: 30314314 markings, 75718361 edges, 339632 markings/sec, 90 secs
lola: 31404473 markings, 79255267 edges, 218032 markings/sec, 95 secs
lola: 32529457 markings, 82930628 edges, 224997 markings/sec, 100 secs
lola: 34406153 markings, 86771481 edges, 375339 markings/sec, 105 secs
lola: 35670480 markings, 90629632 edges, 252865 markings/sec, 110 secs
lola: 36790578 markings, 94279212 edges, 224020 markings/sec, 115 secs
lola: 38108379 markings, 98083661 edges, 263560 markings/sec, 120 secs
lola: 39938948 markings, 101962400 edges, 366114 markings/sec, 125 secs
lola: 41105689 markings, 105758054 edges, 233348 markings/sec, 130 secs
lola: 42289297 markings, 109611402 edges, 236722 markings/sec, 135 secs
lola: 44263248 markings, 113516010 edges, 394790 markings/sec, 140 secs
lola: 45332087 markings, 116993763 edges, 213768 markings/sec, 145 secs
lola: 46426461 markings, 120556120 edges, 218875 markings/sec, 150 secs
lola: 47737084 markings, 124187117 edges, 262125 markings/sec, 155 secs
lola: 49423078 markings, 127723153 edges, 337199 markings/sec, 160 secs
lola: 50626492 markings, 131637122 edges, 240683 markings/sec, 165 secs
lola: 51837772 markings, 135589531 edges, 242256 markings/sec, 170 secs
lola: 54000239 markings, 140093788 edges, 432493 markings/sec, 175 secs
lola: 55374489 markings, 144565788 edges, 274850 markings/sec, 180 secs
lola: 56726088 markings, 148971540 edges, 270320 markings/sec, 185 secs
lola: 58810389 markings, 153143296 edges, 416860 markings/sec, 190 secs
lola: 60059473 markings, 157215228 edges, 249817 markings/sec, 195 secs
lola: 61304582 markings, 161262983 edges, 249022 markings/sec, 200 secs
lola: 63281835 markings, 165165028 edges, 395451 markings/sec, 205 secs
lola: 64507365 markings, 169148420 edges, 245106 markings/sec, 210 secs
lola: 65708702 markings, 173064548 edges, 240267 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(P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 7854087 markings, 10308380 edges, 1570817 markings/sec, 0 secs
lola: 11931817 markings, 16991474 edges, 815546 markings/sec, 5 secs
lola: 15534529 markings, 22980755 edges, 720542 markings/sec, 10 secs
lola: 18973195 markings, 28687190 edges, 687733 markings/sec, 15 secs
lola: 22369885 markings, 34330454 edges, 679338 markings/sec, 20 secs
lola: 25696040 markings, 39873829 edges, 665231 markings/sec, 25 secs
lola: 29038905 markings, 45440244 edges, 668573 markings/sec, 30 secs
lola: 32255602 markings, 50785990 edges, 643339 markings/sec, 35 secs
lola: 35458777 markings, 56137790 edges, 640635 markings/sec, 40 secs
lola: 38697392 markings, 61504713 edges, 647723 markings/sec, 45 secs
lola: 41943513 markings, 66882301 edges, 649224 markings/sec, 50 secs
lola: 45097681 markings, 72106573 edges, 630834 markings/sec, 55 secs
lola: 48250837 markings, 77356614 edges, 630631 markings/sec, 60 secs
lola: 51243717 markings, 82421936 edges, 598576 markings/sec, 65 secs
lola: 54465122 markings, 87722754 edges, 644281 markings/sec, 70 secs
lola: 57573490 markings, 92950022 edges, 621674 markings/sec, 75 secs
lola: 60676137 markings, 98067068 edges, 620529 markings/sec, 80 secs
lola: 63762412 markings, 103185014 edges, 617255 markings/sec, 85 secs
lola: 66836703 markings, 108309740 edges, 614858 markings/sec, 90 secs
lola: 69896364 markings, 113437713 edges, 611932 markings/sec, 95 secs
lola: 72931762 markings, 118510177 edges, 607080 markings/sec, 100 secs
lola: 75968367 markings, 123477203 edges, 607321 markings/sec, 105 secs
lola: 78874266 markings, 128413978 edges, 581180 markings/sec, 110 secs
lola: 82042782 markings, 133596748 edges, 633703 markings/sec, 115 secs
lola: 85068596 markings, 138734440 edges, 605163 markings/sec, 120 secs
lola: 87967662 markings, 143529629 edges, 579813 markings/sec, 125 secs
lola: 91095803 markings, 148656783 edges, 625628 markings/sec, 130 secs
lola: 94083894 markings, 153676173 edges, 597618 markings/sec, 135 secs
lola: 96998837 markings, 158540584 edges, 582989 markings/sec, 140 secs
lola: 100052837 markings, 163661441 edges, 610800 markings/sec, 145 secs
lola: 102935940 markings, 168436914 edges, 576621 markings/sec, 150 secs
lola: 106002948 markings, 173556267 edges, 613402 markings/sec, 155 secs
lola: 108920392 markings, 178372041 edges, 583489 markings/sec, 160 secs
lola: 111914688 markings, 183322330 edges, 598859 markings/sec, 165 secs
lola: 114884794 markings, 188279488 edges, 594021 markings/sec, 170 secs
lola: 117620506 markings, 192941367 edges, 547142 markings/sec, 175 secs
lola: 120728806 markings, 198078648 edges, 621660 markings/sec, 180 secs
lola: 123678474 markings, 202894296 edges, 589934 markings/sec, 185 secs
lola: 126402395 markings, 207574458 edges, 544784 markings/sec, 190 secs
lola: 129517772 markings, 212689715 edges, 623075 markings/sec, 195 secs
lola: 132461074 markings, 217557304 edges, 588660 markings/sec, 200 secs
lola: 135248706 markings, 222237540 edges, 557526 markings/sec, 205 secs
lola: 138176006 markings, 227091567 edges, 585460 markings/sec, 210 secs
lola: 141171972 markings, 232122134 edges, 599193 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(Pback3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 6099228 markings, 10963189 edges, 1219846 markings/sec, 0 secs
lola: 10882504 markings, 20645415 edges, 956655 markings/sec, 5 secs
lola: 15008518 markings, 29844146 edges, 825203 markings/sec, 10 secs
lola: 18957260 markings, 38710967 edges, 789748 markings/sec, 15 secs
lola: 22748025 markings, 47161648 edges, 758153 markings/sec, 20 secs
lola: 26509560 markings, 55529476 edges, 752307 markings/sec, 25 secs
lola: 30309654 markings, 64005114 edges, 760019 markings/sec, 30 secs
lola: 33978804 markings, 72131913 edges, 733830 markings/sec, 35 secs
lola: 37419459 markings, 80059648 edges, 688131 markings/sec, 40 secs
lola: 40574516 markings, 87539718 edges, 631011 markings/sec, 45 secs
lola: 44324360 markings, 96090861 edges, 749969 markings/sec, 50 secs
lola: 47872154 markings, 104151662 edges, 709559 markings/sec, 55 secs
lola: 51524781 markings, 112234598 edges, 730525 markings/sec, 60 secs
lola: 55038955 markings, 119951985 edges, 702835 markings/sec, 65 secs
lola: 58545679 markings, 127649337 edges, 701345 markings/sec, 70 secs
lola: 62114626 markings, 135510458 edges, 713789 markings/sec, 75 secs
lola: 65316649 markings, 142887100 edges, 640405 markings/sec, 80 secs
lola: 68305632 markings, 150067659 edges, 597797 markings/sec, 85 secs
lola: 71572956 markings, 157377846 edges, 653465 markings/sec, 90 secs
lola: 75343034 markings, 165769010 edges, 754016 markings/sec, 95 secs
lola: 79015047 markings, 173905012 edges, 734403 markings/sec, 100 secs
lola: 82664096 markings, 181977417 edges, 729810 markings/sec, 105 secs
lola: 86247769 markings, 189877357 edges, 716735 markings/sec, 110 secs
lola: 89617527 markings, 197439761 edges, 673952 markings/sec, 115 secs
lola: 92928413 markings, 205200428 edges, 662177 markings/sec, 120 secs
lola: 96066747 markings, 212554011 edges, 627667 markings/sec, 125 secs
lola: 99444043 markings, 220053213 edges, 675459 markings/sec, 130 secs
lola: 102812883 markings, 227386344 edges, 673768 markings/sec, 135 secs
lola: 106281552 markings, 234981617 edges, 693734 markings/sec, 140 secs
lola: 109865351 markings, 242895003 edges, 716760 markings/sec, 145 secs
lola: 112889359 markings, 250138868 edges, 604802 markings/sec, 150 secs
lola: 116025875 markings, 257427862 edges, 627303 markings/sec, 155 secs
lola: 119284896 markings, 264645834 edges, 651804 markings/sec, 160 secs
lola: 122702436 markings, 272105877 edges, 683508 markings/sec, 165 secs
lola: 126093896 markings, 279496864 edges, 678292 markings/sec, 170 secs
lola: 129030377 markings, 286400151 edges, 587296 markings/sec, 175 secs
lola: 132005182 markings, 293358145 edges, 594961 markings/sec, 180 secs
lola: 135179611 markings, 300377723 edges, 634886 markings/sec, 185 secs
lola: 138886521 markings, 308605664 edges, 741382 markings/sec, 190 secs
lola: 142673950 markings, 317046496 edges, 757486 markings/sec, 195 secs
lola: 146354096 markings, 325200980 edges, 736029 markings/sec, 200 secs
lola: 149943874 markings, 333116741 edges, 717956 markings/sec, 205 secs
lola: 153113548 markings, 340560677 edges, 633935 markings/sec, 210 secs
lola: 156467032 markings, 348397962 edges, 670697 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(Pback1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 4752468 markings, 9878165 edges, 950494 markings/sec, 0 secs
lola: 9176061 markings, 19162330 edges, 884719 markings/sec, 5 secs
lola: 13226752 markings, 27726570 edges, 810138 markings/sec, 10 secs
lola: 17484406 markings, 36661034 edges, 851531 markings/sec, 15 secs
lola: 21339338 markings, 44852370 edges, 770986 markings/sec, 20 secs
lola: 25157342 markings, 52957307 edges, 763601 markings/sec, 25 secs
lola: 28988709 markings, 61083719 edges, 766273 markings/sec, 30 secs
lola: 32710223 markings, 68997330 edges, 744303 markings/sec, 35 secs
lola: 36422701 markings, 76891284 edges, 742496 markings/sec, 40 secs
lola: 40582175 markings, 85634985 edges, 831895 markings/sec, 45 secs
lola: 44630855 markings, 94169384 edges, 809736 markings/sec, 50 secs
lola: 48210000 markings, 101796919 edges, 715829 markings/sec, 55 secs
lola: 51816739 markings, 109478567 edges, 721348 markings/sec, 60 secs
lola: 55403731 markings, 117111910 edges, 717398 markings/sec, 65 secs
lola: 59365820 markings, 125476082 edges, 792418 markings/sec, 70 secs
lola: 63092402 markings, 133381900 edges, 745316 markings/sec, 75 secs
lola: 66608971 markings, 140877459 edges, 703314 markings/sec, 80 secs
lola: 70211571 markings, 148540811 edges, 720520 markings/sec, 85 secs
lola: 73711489 markings, 156004273 edges, 699984 markings/sec, 90 secs
lola: 77197169 markings, 163437704 edges, 697136 markings/sec, 95 secs
lola: 80644039 markings, 170799867 edges, 689374 markings/sec, 100 secs
lola: 84134400 markings, 178240442 edges, 698072 markings/sec, 105 secs
lola: 88114597 markings, 186635967 edges, 796039 markings/sec, 110 secs
lola: 91505787 markings, 193877030 edges, 678238 markings/sec, 115 secs
lola: 94894615 markings, 201115517 edges, 677766 markings/sec, 120 secs
lola: 98467450 markings, 208714972 edges, 714567 markings/sec, 125 secs
lola: 102913651 markings, 218006402 edges, 889240 markings/sec, 130 secs
lola: 106448695 markings, 225526813 edges, 707009 markings/sec, 135 secs
lola: 109943661 markings, 232981066 edges, 698993 markings/sec, 140 secs
lola: 113334346 markings, 240228504 edges, 678137 markings/sec, 145 secs
lola: 116733493 markings, 247491825 edges, 679829 markings/sec, 150 secs
lola: 120195304 markings, 254867535 edges, 692362 markings/sec, 155 secs
lola: 123520401 markings, 261967055 edges, 665019 markings/sec, 160 secs
lola: 126847182 markings, 269065928 edges, 665356 markings/sec, 165 secs
lola: 130256367 markings, 276338637 edges, 681837 markings/sec, 170 secs
lola: 133552577 markings, 283382091 edges, 659242 markings/sec, 175 secs
lola: 137065012 markings, 290864058 edges, 702487 markings/sec, 180 secs
lola: 140637057 markings, 298456331 edges, 714409 markings/sec, 185 secs
lola: 143966597 markings, 305563476 edges, 665908 markings/sec, 190 secs
lola: 147312592 markings, 312710586 edges, 669199 markings/sec, 195 secs
lola: 150637414 markings, 319824896 edges, 664964 markings/sec, 200 secs
lola: 153927438 markings, 326862305 edges, 658005 markings/sec, 205 secs
lola: 157221165 markings, 333897734 edges, 658745 markings/sec, 210 secs
lola: 161016748 markings, 341940516 edges, 759117 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(Pback3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 6126198 markings, 11011552 edges, 1225240 markings/sec, 0 secs
lola: 10880454 markings, 20641327 edges, 950851 markings/sec, 5 secs
lola: 14988440 markings, 29791987 edges, 821597 markings/sec, 10 secs
lola: 18921801 markings, 38617605 edges, 786672 markings/sec, 15 secs
lola: 22699992 markings, 47033354 edges, 755638 markings/sec, 20 secs
lola: 26442370 markings, 55355538 edges, 748476 markings/sec, 25 secs
lola: 30232999 markings, 63802352 edges, 758126 markings/sec, 30 secs
lola: 33881209 markings, 71889692 edges, 729642 markings/sec, 35 secs
lola: 37256836 markings, 79766845 edges, 675125 markings/sec, 40 secs
lola: 40397298 markings, 87220305 edges, 628092 markings/sec, 45 secs
lola: 44152915 markings, 95782109 edges, 751123 markings/sec, 50 secs
lola: 47769061 markings, 103879242 edges, 723229 markings/sec, 55 secs
lola: 51385937 markings, 111868137 edges, 723375 markings/sec, 60 secs
lola: 54918118 markings, 119632949 edges, 706436 markings/sec, 65 secs
lola: 58452479 markings, 127402655 edges, 706872 markings/sec, 70 secs
lola: 62022927 markings, 135267278 edges, 714090 markings/sec, 75 secs
lola: 65143842 markings, 142575830 edges, 624183 markings/sec, 80 secs
lola: 68166608 markings, 149817404 edges, 604553 markings/sec, 85 secs
lola: 71505427 markings, 157199253 edges, 667764 markings/sec, 90 secs
lola: 75254379 markings, 165535457 edges, 749790 markings/sec, 95 secs
lola: 78950819 markings, 173733904 edges, 739288 markings/sec, 100 secs
lola: 82606585 markings, 181826816 edges, 731153 markings/sec, 105 secs
lola: 86206001 markings, 189766369 edges, 719883 markings/sec, 110 secs
lola: 89557458 markings, 197331562 edges, 670291 markings/sec, 115 secs
lola: 92834803 markings, 205031659 edges, 655469 markings/sec, 120 secs
lola: 96002200 markings, 212385599 edges, 633479 markings/sec, 125 secs
lola: 99362479 markings, 219839589 edges, 672056 markings/sec, 130 secs
lola: 102727925 markings, 227161550 edges, 673089 markings/sec, 135 secs
lola: 106173597 markings, 234695194 edges, 689134 markings/sec, 140 secs
lola: 109675986 markings, 242553837 edges, 700478 markings/sec, 145 secs
lola: 112653566 markings, 249714250 edges, 595516 markings/sec, 150 secs
lola: 115843575 markings, 257054875 edges, 638002 markings/sec, 155 secs
lola: 119144001 markings, 264271938 edges, 660085 markings/sec, 160 secs
lola: 122528494 markings, 271646897 edges, 676899 markings/sec, 165 secs
lola: 125916198 markings, 279026254 edges, 677541 markings/sec, 170 secs
lola: 128651121 markings, 285716856 edges, 546985 markings/sec, 175 secs
lola: 131700479 markings, 292752780 edges, 609872 markings/sec, 180 secs
lola: 134972133 markings, 299829305 edges, 654331 markings/sec, 185 secs
lola: 138590186 markings, 307820136 edges, 723611 markings/sec, 190 secs
lola: 142384382 markings, 316277262 edges, 758839 markings/sec, 195 secs
lola: 146058569 markings, 324418469 edges, 734837 markings/sec, 200 secs
lola: 149475725 markings, 332211280 edges, 683431 markings/sec, 205 secs
lola: 152565942 markings, 339574341 edges, 618043 markings/sec, 210 secs
lola: 156084107 markings, 347545652 edges, 703633 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pback2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5709045 markings, 10315292 edges, 1141809 markings/sec, 0 secs
lola: 10039884 markings, 19959529 edges, 866168 markings/sec, 5 secs
lola: 14251486 markings, 29382904 edges, 842320 markings/sec, 10 secs
lola: 18345052 markings, 38721125 edges, 818713 markings/sec, 15 secs
lola: 22000172 markings, 47079601 edges, 731024 markings/sec, 20 secs
lola: 25690723 markings, 55277125 edges, 738110 markings/sec, 25 secs
lola: 29268376 markings, 63396355 edges, 715531 markings/sec, 30 secs
lola: 33100302 markings, 72045722 edges, 766385 markings/sec, 35 secs
lola: 36538347 markings, 79933384 edges, 687609 markings/sec, 40 secs
lola: 39762378 markings, 87424702 edges, 644806 markings/sec, 45 secs
lola: 43422718 markings, 95811419 edges, 732068 markings/sec, 50 secs
lola: 46395409 markings, 102860783 edges, 594538 markings/sec, 55 secs
lola: 49407313 markings, 109974989 edges, 602381 markings/sec, 60 secs
lola: 53387632 markings, 118934980 edges, 796064 markings/sec, 65 secs
lola: 57047413 markings, 127222261 edges, 731956 markings/sec, 70 secs
lola: 60507773 markings, 135150111 edges, 692072 markings/sec, 75 secs
lola: 63913716 markings, 142965484 edges, 681189 markings/sec, 80 secs
lola: 67459266 markings, 150896129 edges, 709110 markings/sec, 85 secs
lola: 70779513 markings, 158334391 edges, 664049 markings/sec, 90 secs
lola: 74011994 markings, 165575721 edges, 646496 markings/sec, 95 secs
lola: 77320218 markings, 173033657 edges, 661645 markings/sec, 100 secs
lola: 81073771 markings, 181430567 edges, 750711 markings/sec, 105 secs
lola: 84802951 markings, 189956440 edges, 745836 markings/sec, 110 secs
lola: 88267280 markings, 197859489 edges, 692866 markings/sec, 115 secs
lola: 91623477 markings, 205454886 edges, 671239 markings/sec, 120 secs
lola: 94942976 markings, 212944366 edges, 663900 markings/sec, 125 secs
lola: 98321877 markings, 220530457 edges, 675780 markings/sec, 130 secs
lola: 101638485 markings, 228132451 edges, 663322 markings/sec, 135 secs
lola: 104369873 markings, 234747082 edges, 546278 markings/sec, 140 secs
lola: 107210633 markings, 241530671 edges, 568152 markings/sec, 145 secs
lola: 110482402 markings, 248885375 edges, 654354 markings/sec, 150 secs
lola: 113768455 markings, 256280139 edges, 657211 markings/sec, 155 secs
lola: 117550023 markings, 264696800 edges, 756314 markings/sec, 160 secs
lola: 121134830 markings, 272864231 edges, 716961 markings/sec, 165 secs
lola: 124501539 markings, 280489026 edges, 673342 markings/sec, 170 secs
lola: 127776298 markings, 287852019 edges, 654952 markings/sec, 175 secs
lola: 131023598 markings, 295136438 edges, 649460 markings/sec, 180 secs
lola: 134269813 markings, 302418246 edges, 649243 markings/sec, 185 secs
lola: 137403198 markings, 309564772 edges, 626677 markings/sec, 190 secs
lola: 140333772 markings, 316636911 edges, 586115 markings/sec, 195 secs
lola: 143138477 markings, 323282460 edges, 560941 markings/sec, 200 secs
lola: 146262083 markings, 330214838 edges, 624721 markings/sec, 205 secs
lola: 149377050 markings, 337120967 edges, 622993 markings/sec, 210 secs
lola: 152484274 markings, 344008505 edges, 621445 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pout1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5042748 markings, 10407531 edges, 1008550 markings/sec, 0 secs
lola: 10173995 markings, 20997689 edges, 1026249 markings/sec, 5 secs
lola: 15263124 markings, 31500796 edges, 1017826 markings/sec, 10 secs
lola: 20307066 markings, 41910666 edges, 1008788 markings/sec, 15 secs
lola: 25349276 markings, 52317470 edges, 1008442 markings/sec, 20 secs
lola: 30415605 markings, 62772825 edges, 1013266 markings/sec, 25 secs
lola: 35463049 markings, 73189220 edges, 1009489 markings/sec, 30 secs
lola: 40481997 markings, 83548256 edges, 1003790 markings/sec, 35 secs
lola: 45481422 markings, 93865798 edges, 999885 markings/sec, 40 secs
lola: 50444965 markings, 104109964 edges, 992709 markings/sec, 45 secs
lola: 55410549 markings, 114357519 edges, 993117 markings/sec, 50 secs
lola: 60403065 markings, 124661513 edges, 998503 markings/sec, 55 secs
lola: 65385233 markings, 134943334 edges, 996434 markings/sec, 60 secs
lola: 70344947 markings, 145179659 edges, 991943 markings/sec, 65 secs
lola: 75266753 markings, 155338058 edges, 984361 markings/sec, 70 secs
lola: 80137413 markings, 165389650 edges, 974132 markings/sec, 75 secs
lola: 85023798 markings, 175474711 edges, 977277 markings/sec, 80 secs
lola: 89918767 markings, 185577048 edges, 978994 markings/sec, 85 secs
lola: 94836884 markings, 195727299 edges, 983623 markings/sec, 90 secs
lola: 99722453 markings, 205809624 edges, 977114 markings/sec, 95 secs
lola: 104572173 markings, 215818959 edges, 969944 markings/sec, 100 secs
lola: 109429687 markings, 225844022 edges, 971503 markings/sec, 105 secs
lola: 114252944 markings, 235799271 edges, 964651 markings/sec, 110 secs
lola: 119006422 markings, 245644705 edges, 950696 markings/sec, 115 secs
lola: 123336063 markings, 254756312 edges, 865928 markings/sec, 120 secs
lola: 127445862 markings, 263433255 edges, 821960 markings/sec, 125 secs
lola: 131394603 markings, 271798259 edges, 789748 markings/sec, 130 secs
lola: 135387184 markings, 280240925 edges, 798516 markings/sec, 135 secs
lola: 139236394 markings, 288402792 edges, 769842 markings/sec, 140 secs
lola: 143003115 markings, 296400119 edges, 753344 markings/sec, 145 secs
lola: 146859658 markings, 304565520 edges, 771309 markings/sec, 150 secs
lola: 150520498 markings, 312343820 edges, 732168 markings/sec, 155 secs
lola: 154397787 markings, 320550657 edges, 775458 markings/sec, 160 secs
lola: 158127383 markings, 328461957 edges, 745919 markings/sec, 165 secs
lola: 161688403 markings, 336042741 edges, 712204 markings/sec, 170 secs
lola: 165265933 markings, 343660849 edges, 715506 markings/sec, 175 secs
lola: 168773078 markings, 351133765 edges, 701429 markings/sec, 180 secs
lola: 172359721 markings, 358754351 edges, 717329 markings/sec, 185 secs
lola: 175939754 markings, 366372532 edges, 716007 markings/sec, 190 secs
lola: 179546440 markings, 374044795 edges, 721337 markings/sec, 195 secs
lola: 183223972 markings, 381847887 edges, 735506 markings/sec, 200 secs
lola: 186685391 markings, 389229485 edges, 692284 markings/sec, 205 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 223 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pout3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5983761 markings, 11010473 edges, 1196752 markings/sec, 0 secs
lola: 10499460 markings, 21095346 edges, 903140 markings/sec, 5 secs
lola: 14656807 markings, 30509324 edges, 831469 markings/sec, 10 secs
lola: 18732300 markings, 39833910 edges, 815099 markings/sec, 15 secs
lola: 22584500 markings, 48632900 edges, 770440 markings/sec, 20 secs
lola: 26358367 markings, 57186196 edges, 754773 markings/sec, 25 secs
lola: 30208164 markings, 65955011 edges, 769959 markings/sec, 30 secs
lola: 33891057 markings, 74273630 edges, 736579 markings/sec, 35 secs
lola: 37431839 markings, 82396496 edges, 708156 markings/sec, 40 secs
lola: 41101516 markings, 90660898 edges, 733935 markings/sec, 45 secs
lola: 44722360 markings, 98784957 edges, 724169 markings/sec, 50 secs
lola: 48135552 markings, 106541055 edges, 682638 markings/sec, 55 secs
lola: 51799986 markings, 114849399 edges, 732887 markings/sec, 60 secs
lola: 55743028 markings, 123832555 edges, 788608 markings/sec, 65 secs
lola: 59402349 markings, 132291399 edges, 731864 markings/sec, 70 secs
lola: 62951273 markings, 140434133 edges, 709785 markings/sec, 75 secs
lola: 66623739 markings, 148694027 edges, 734493 markings/sec, 80 secs
lola: 70226206 markings, 156771683 edges, 720493 markings/sec, 85 secs
lola: 73607128 markings, 164437372 edges, 676184 markings/sec, 90 secs
lola: 77035334 markings, 172236970 edges, 685641 markings/sec, 95 secs
lola: 80736719 markings, 180656727 edges, 740277 markings/sec, 100 secs
lola: 84568513 markings, 189311937 edges, 766359 markings/sec, 105 secs
lola: 88096054 markings, 197392188 edges, 705508 markings/sec, 110 secs
lola: 91548019 markings, 205260157 edges, 690393 markings/sec, 115 secs
lola: 94949976 markings, 212985164 edges, 680391 markings/sec, 120 secs
lola: 98464021 markings, 220914400 edges, 702809 markings/sec, 125 secs
lola: 101959472 markings, 228692560 edges, 699090 markings/sec, 130 secs
lola: 104899531 markings, 235681913 edges, 588012 markings/sec, 135 secs
lola: 107827488 markings, 242649813 edges, 585591 markings/sec, 140 secs
lola: 110950812 markings, 249969768 edges, 624665 markings/sec, 145 secs
lola: 114159418 markings, 257418248 edges, 641721 markings/sec, 150 secs
lola: 118183517 markings, 266448514 edges, 804820 markings/sec, 155 secs
lola: 121737616 markings, 274563921 edges, 710820 markings/sec, 160 secs
lola: 125200240 markings, 282492433 edges, 692525 markings/sec, 165 secs
lola: 128542712 markings, 290058804 edges, 668494 markings/sec, 170 secs
lola: 131956811 markings, 297820605 edges, 682820 markings/sec, 175 secs
lola: 135281099 markings, 305324814 edges, 664858 markings/sec, 180 secs
lola: 138782166 markings, 313041710 edges, 700213 markings/sec, 185 secs
lola: 142172070 markings, 320552408 edges, 677981 markings/sec, 190 secs
lola: 145396071 markings, 327770937 edges, 644800 markings/sec, 195 secs
lola: 148604553 markings, 334948039 edges, 641696 markings/sec, 200 secs
lola: 151516181 markings, 341835719 edges, 582326 markings/sec, 205 secs
lola: 154465894 markings, 348842730 edges, 589943 markings/sec, 210 secs
lola: 157625782 markings, 356207640 edges, 631978 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 223 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 7872737 markings, 10333095 edges, 1574547 markings/sec, 0 secs
lola: 11920433 markings, 16975501 edges, 809539 markings/sec, 5 secs
lola: 15521911 markings, 22963173 edges, 720296 markings/sec, 10 secs
lola: 18949923 markings, 28654745 edges, 685602 markings/sec, 15 secs
lola: 22356019 markings, 34303403 edges, 681219 markings/sec, 20 secs
lola: 25682998 markings, 39848379 edges, 665396 markings/sec, 25 secs
lola: 29021974 markings, 45416643 edges, 667795 markings/sec, 30 secs
lola: 32246041 markings, 50767334 edges, 644813 markings/sec, 35 secs
lola: 35447021 markings, 56114674 edges, 640196 markings/sec, 40 secs
lola: 38684358 markings, 61479218 edges, 647467 markings/sec, 45 secs
lola: 41922683 markings, 66853364 edges, 647665 markings/sec, 50 secs
lola: 45068739 markings, 72060903 edges, 629211 markings/sec, 55 secs
lola: 48225657 markings, 77321670 edges, 631384 markings/sec, 60 secs
lola: 51220792 markings, 82377315 edges, 599027 markings/sec, 65 secs
lola: 54435525 markings, 87665128 edges, 642947 markings/sec, 70 secs
lola: 57543354 markings, 92908183 edges, 621566 markings/sec, 75 secs
lola: 60650779 markings, 98031976 edges, 621485 markings/sec, 80 secs
lola: 63742865 markings, 103157910 edges, 618417 markings/sec, 85 secs
lola: 66822014 markings, 108289397 edges, 615830 markings/sec, 90 secs
lola: 69893340 markings, 113433545 edges, 614265 markings/sec, 95 secs
lola: 72941643 markings, 118529472 edges, 609661 markings/sec, 100 secs
lola: 75997306 markings, 123533873 edges, 611133 markings/sec, 105 secs
lola: 78903056 markings, 128470423 edges, 581150 markings/sec, 110 secs
lola: 82082600 markings, 133674169 edges, 635909 markings/sec, 115 secs
lola: 85146606 markings, 138859717 edges, 612801 markings/sec, 120 secs
lola: 88101432 markings, 143714855 edges, 590965 markings/sec, 125 secs
lola: 91161388 markings, 148784646 edges, 611991 markings/sec, 130 secs
lola: 94192330 markings, 153887552 edges, 606188 markings/sec, 135 secs
lola: 97090028 markings, 158718452 edges, 579540 markings/sec, 140 secs
lola: 100206681 markings, 163942845 edges, 623331 markings/sec, 145 secs
lola: 103049008 markings, 168657648 edges, 568465 markings/sec, 150 secs
lola: 106172135 markings, 173886173 edges, 624625 markings/sec, 155 secs
lola: 109045368 markings, 178615707 edges, 574647 markings/sec, 160 secs
lola: 111886800 markings, 183268008 edges, 568286 markings/sec, 165 secs
lola: 114658797 markings, 187966476 edges, 554399 markings/sec, 170 secs
lola: 117411606 markings, 192533647 edges, 550562 markings/sec, 175 secs
lola: 120250842 markings, 197212141 edges, 567847 markings/sec, 180 secs
lola: 123172406 markings, 202177986 edges, 584313 markings/sec, 185 secs
lola: 125934049 markings, 206660481 edges, 552329 markings/sec, 190 secs
lola: 128595312 markings, 211213108 edges, 532253 markings/sec, 195 secs
lola: 131557598 markings, 216020087 edges, 592457 markings/sec, 200 secs
lola: 134311682 markings, 220738655 edges, 550817 markings/sec, 205 secs
lola: 137264652 markings, 225506530 edges, 590594 markings/sec, 210 secs
lola: 140004819 markings, 230183106 edges, 548033 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 223 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 7660055 markings, 10053476 edges, 1532011 markings/sec, 0 secs
lola: 11811590 markings, 16804066 edges, 830307 markings/sec, 5 secs
lola: 15425393 markings, 22808834 edges, 722761 markings/sec, 10 secs
lola: 18838536 markings, 28488682 edges, 682629 markings/sec, 15 secs
lola: 22286053 markings, 34182237 edges, 689503 markings/sec, 20 secs
lola: 25621337 markings, 39728241 edges, 667057 markings/sec, 25 secs
lola: 28924482 markings, 45265561 edges, 660629 markings/sec, 30 secs
lola: 32064020 markings, 50442847 edges, 627908 markings/sec, 35 secs
lola: 35275447 markings, 55779970 edges, 642285 markings/sec, 40 secs
lola: 38486229 markings, 61122072 edges, 642156 markings/sec, 45 secs
lola: 41636526 markings, 66404070 edges, 630059 markings/sec, 50 secs
lola: 44670070 markings, 71451839 edges, 606709 markings/sec, 55 secs
lola: 47857247 markings, 76760551 edges, 637435 markings/sec, 60 secs
lola: 50962565 markings, 81873786 edges, 621064 markings/sec, 65 secs
lola: 53924282 markings, 86867974 edges, 592343 markings/sec, 70 secs
lola: 56808955 markings, 91687956 edges, 576935 markings/sec, 75 secs
lola: 59962478 markings, 96870930 edges, 630705 markings/sec, 80 secs
lola: 62988444 markings, 101899285 edges, 605193 markings/sec, 85 secs
lola: 66037198 markings, 106982781 edges, 609751 markings/sec, 90 secs
lola: 69032035 markings, 112014929 edges, 598967 markings/sec, 95 secs
lola: 72073542 markings, 117072342 edges, 608301 markings/sec, 100 secs
lola: 75186435 markings, 122194061 edges, 622579 markings/sec, 105 secs
lola: 78196360 markings, 127263151 edges, 601985 markings/sec, 110 secs
lola: 81090219 markings, 131998585 edges, 578772 markings/sec, 115 secs
lola: 83976541 markings, 136861213 edges, 577264 markings/sec, 120 secs
lola: 86875126 markings, 141741471 edges, 579717 markings/sec, 125 secs
lola: 89554251 markings, 146182024 edges, 535825 markings/sec, 130 secs
lola: 92658083 markings, 151328367 edges, 620766 markings/sec, 135 secs
lola: 95353175 markings, 155859095 edges, 539018 markings/sec, 140 secs
lola: 98399553 markings, 160891331 edges, 609276 markings/sec, 145 secs
lola: 101171758 markings, 165555412 edges, 554441 markings/sec, 150 secs
lola: 104266604 markings, 170681294 edges, 618969 markings/sec, 155 secs
lola: 107078167 markings, 175363956 edges, 562313 markings/sec, 160 secs
lola: 110074813 markings, 180328155 edges, 599329 markings/sec, 165 secs
lola: 113003945 markings, 185148577 edges, 585826 markings/sec, 170 secs
lola: 115912513 markings, 189999418 edges, 581714 markings/sec, 175 secs
lola: 118919216 markings, 195065449 edges, 601341 markings/sec, 180 secs
lola: 121737240 markings, 199735240 edges, 563605 markings/sec, 185 secs
lola: 124738992 markings, 204656104 edges, 600350 markings/sec, 190 secs
lola: 127679396 markings, 209665709 edges, 588081 markings/sec, 195 secs
lola: 130534016 markings, 214349382 edges, 570924 markings/sec, 200 secs
lola: 133303670 markings, 219044734 edges, 553931 markings/sec, 205 secs
lola: 136371225 markings, 224095705 edges, 613511 markings/sec, 210 secs
lola: 139289359 markings, 228962663 edges, 583627 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 223 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pout1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5049986 markings, 10423119 edges, 1009997 markings/sec, 0 secs
lola: 10192152 markings, 21035690 edges, 1028433 markings/sec, 5 secs
lola: 15308331 markings, 31594551 edges, 1023236 markings/sec, 10 secs
lola: 20350548 markings, 42000641 edges, 1008443 markings/sec, 15 secs
lola: 25388182 markings, 52397856 edges, 1007527 markings/sec, 20 secs
lola: 30443361 markings, 62829671 edges, 1011036 markings/sec, 25 secs
lola: 35455255 markings, 73173693 edges, 1002379 markings/sec, 30 secs
lola: 40427928 markings, 83437021 edges, 994535 markings/sec, 35 secs
lola: 45439362 markings, 93779500 edges, 1002287 markings/sec, 40 secs
lola: 50419138 markings, 104056828 edges, 995955 markings/sec, 45 secs
lola: 55409813 markings, 114355927 edges, 998135 markings/sec, 50 secs
lola: 60414737 markings, 124685455 edges, 1000985 markings/sec, 55 secs
lola: 65422224 markings, 135020042 edges, 1001497 markings/sec, 60 secs
lola: 70403890 markings, 145301614 edges, 996333 markings/sec, 65 secs
lola: 75339664 markings, 155488706 edges, 987155 markings/sec, 70 secs
lola: 80233946 markings, 165588485 edges, 978856 markings/sec, 75 secs
lola: 85140327 markings, 175714465 edges, 981276 markings/sec, 80 secs
lola: 90021855 markings, 185788880 edges, 976306 markings/sec, 85 secs
lola: 94912942 markings, 195884146 edges, 978217 markings/sec, 90 secs
lola: 99808438 markings, 205986974 edges, 979099 markings/sec, 95 secs
lola: 104681367 markings, 216043741 edges, 974586 markings/sec, 100 secs
lola: 109554572 markings, 226102385 edges, 974641 markings/sec, 105 secs
lola: 114398156 markings, 236097277 edges, 968717 markings/sec, 110 secs
lola: 119136541 markings, 245917457 edges, 947677 markings/sec, 115 secs
lola: 123440569 markings, 254977430 edges, 860806 markings/sec, 120 secs
lola: 127541235 markings, 263634121 edges, 820133 markings/sec, 125 secs
lola: 131484899 markings, 271990767 edges, 788733 markings/sec, 130 secs
lola: 135470498 markings, 280416847 edges, 797120 markings/sec, 135 secs
lola: 139300483 markings, 288537710 edges, 765997 markings/sec, 140 secs
lola: 143021976 markings, 296440455 edges, 744299 markings/sec, 145 secs
lola: 146854495 markings, 304554652 edges, 766504 markings/sec, 150 secs
lola: 150511490 markings, 312324473 edges, 731399 markings/sec, 155 secs
lola: 154349980 markings, 320450353 edges, 767698 markings/sec, 160 secs
lola: 158091146 markings, 328384205 edges, 748233 markings/sec, 165 secs
lola: 161676431 markings, 336017143 edges, 717057 markings/sec, 170 secs
lola: 165262225 markings, 343653848 edges, 717159 markings/sec, 175 secs
lola: 168781268 markings, 351151137 edges, 703809 markings/sec, 180 secs
lola: 172366822 markings, 358769561 edges, 717111 markings/sec, 185 secs
lola: 175941368 markings, 366376142 edges, 714909 markings/sec, 190 secs
lola: 179551399 markings, 374054404 edges, 722006 markings/sec, 195 secs
lola: 183233703 markings, 381868668 edges, 736461 markings/sec, 200 secs
lola: 186706016 markings, 389273808 edges, 694463 markings/sec, 205 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 229 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pout2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5813407 markings, 10549764 edges, 1162681 markings/sec, 0 secs
lola: 10310652 markings, 20543089 edges, 899449 markings/sec, 5 secs
lola: 14582352 markings, 30037917 edges, 854340 markings/sec, 10 secs
lola: 18600069 markings, 39069133 edges, 803543 markings/sec, 15 secs
lola: 22648856 markings, 48184562 edges, 809757 markings/sec, 20 secs
lola: 26611195 markings, 57088302 edges, 792468 markings/sec, 25 secs
lola: 30356772 markings, 65621640 edges, 749115 markings/sec, 30 secs
lola: 34071435 markings, 74099371 edges, 742933 markings/sec, 35 secs
lola: 38181556 markings, 83299283 edges, 822024 markings/sec, 40 secs
lola: 42254692 markings, 92432231 edges, 814627 markings/sec, 45 secs
lola: 46141883 markings, 101225088 edges, 777438 markings/sec, 50 secs
lola: 49742113 markings, 109494422 edges, 720046 markings/sec, 55 secs
lola: 53321598 markings, 117725527 edges, 715897 markings/sec, 60 secs
lola: 57022006 markings, 126177513 edges, 740082 markings/sec, 65 secs
lola: 60676761 markings, 134546704 edges, 730951 markings/sec, 70 secs
lola: 64256314 markings, 142609800 edges, 715911 markings/sec, 75 secs
lola: 68197454 markings, 151453911 edges, 788228 markings/sec, 80 secs
lola: 72124714 markings, 160257372 edges, 785452 markings/sec, 85 secs
lola: 76067382 markings, 169106527 edges, 788534 markings/sec, 90 secs
lola: 79933921 markings, 177742956 edges, 773308 markings/sec, 95 secs
lola: 83766660 markings, 186289707 edges, 766548 markings/sec, 100 secs
lola: 87507616 markings, 194583638 edges, 748191 markings/sec, 105 secs
lola: 91242003 markings, 202863162 edges, 746877 markings/sec, 110 secs
lola: 94944267 markings, 211050521 edges, 740453 markings/sec, 115 secs
lola: 98520007 markings, 218901334 edges, 715148 markings/sec, 120 secs
lola: 102109107 markings, 227150098 edges, 717820 markings/sec, 125 secs
lola: 105476351 markings, 234993873 edges, 673449 markings/sec, 130 secs
lola: 109043863 markings, 243203619 edges, 713502 markings/sec, 135 secs
lola: 112288530 markings, 250731576 edges, 648933 markings/sec, 140 secs
lola: 115938310 markings, 258784899 edges, 729956 markings/sec, 145 secs
lola: 119565618 markings, 266768503 edges, 725462 markings/sec, 150 secs
lola: 123150431 markings, 274635495 edges, 716963 markings/sec, 155 secs
lola: 126676050 markings, 282342871 edges, 705124 markings/sec, 160 secs
lola: 130011589 markings, 289964497 edges, 667108 markings/sec, 165 secs
lola: 133909822 markings, 298777755 edges, 779647 markings/sec, 170 secs
lola: 137862381 markings, 307689655 edges, 790512 markings/sec, 175 secs
lola: 141783542 markings, 316544589 edges, 784232 markings/sec, 180 secs
lola: 145541305 markings, 325101794 edges, 751553 markings/sec, 185 secs
lola: 149393749 markings, 333831160 edges, 770489 markings/sec, 190 secs
lola: 153153907 markings, 342392219 edges, 752032 markings/sec, 195 secs
lola: 156715536 markings, 350591485 edges, 712326 markings/sec, 200 secs
lola: 160227447 markings, 358566109 edges, 702382 markings/sec, 205 secs
lola: 164024230 markings, 367058113 edges, 759357 markings/sec, 210 secs
lola: 167848991 markings, 375581489 edges, 764952 markings/sec, 215 secs
lola: 171638822 markings, 384009859 edges, 757966 markings/sec, 220 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 229 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pback3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5558919 markings, 9993752 edges, 1111784 markings/sec, 0 secs
lola: 10456964 markings, 19573835 edges, 979609 markings/sec, 5 secs
lola: 14509602 markings, 28523325 edges, 810528 markings/sec, 10 secs
lola: 17911445 markings, 35944743 edges, 680369 markings/sec, 15 secs
lola: 21542074 markings, 44273264 edges, 726126 markings/sec, 20 secs
lola: 24840370 markings, 52011364 edges, 659659 markings/sec, 25 secs
lola: 28235652 markings, 59923788 edges, 679056 markings/sec, 30 secs
lola: 31673550 markings, 67615100 edges, 687580 markings/sec, 35 secs
lola: 35150716 markings, 75233879 edges, 695433 markings/sec, 40 secs
lola: 38635423 markings, 82873520 edges, 696941 markings/sec, 45 secs
lola: 42171713 markings, 90647824 edges, 707258 markings/sec, 50 secs
lola: 45911761 markings, 98960664 edges, 748010 markings/sec, 55 secs
lola: 49008728 markings, 106325171 edges, 619393 markings/sec, 60 secs
lola: 52024299 markings, 113483991 edges, 603114 markings/sec, 65 secs
lola: 55322833 markings, 120701201 edges, 659707 markings/sec, 70 secs
lola: 58779023 markings, 128265508 edges, 691238 markings/sec, 75 secs
lola: 62271842 markings, 135926241 edges, 698564 markings/sec, 80 secs
lola: 65506132 markings, 143228479 edges, 646858 markings/sec, 85 secs
lola: 68502068 markings, 150421532 edges, 599187 markings/sec, 90 secs
lola: 71548758 markings, 157312936 edges, 609338 markings/sec, 95 secs
lola: 75119190 markings, 165177526 edges, 714086 markings/sec, 100 secs
lola: 78547845 markings, 172668989 edges, 685731 markings/sec, 105 secs
lola: 81973381 markings, 180150164 edges, 685107 markings/sec, 110 secs
lola: 85101102 markings, 187507803 edges, 625544 markings/sec, 115 secs
lola: 88102556 markings, 194656855 edges, 600291 markings/sec, 120 secs
lola: 91552155 markings, 202335293 edges, 689920 markings/sec, 125 secs
lola: 94965389 markings, 209782386 edges, 682647 markings/sec, 130 secs
lola: 98330143 markings, 217105522 edges, 672951 markings/sec, 135 secs
lola: 101466465 markings, 224173139 edges, 627264 markings/sec, 140 secs
lola: 104249704 markings, 230983305 edges, 556648 markings/sec, 145 secs
lola: 107768749 markings, 238924494 edges, 703809 markings/sec, 150 secs
lola: 111136084 markings, 246246098 edges, 673467 markings/sec, 155 secs
lola: 114405113 markings, 253314464 edges, 653806 markings/sec, 160 secs
lola: 117416099 markings, 260089532 edges, 602197 markings/sec, 165 secs
lola: 119768392 markings, 265914267 edges, 470459 markings/sec, 170 secs
lola: 123061761 markings, 273058495 edges, 658674 markings/sec, 175 secs
lola: 126263228 markings, 279945719 edges, 640293 markings/sec, 180 secs
lola: 129161216 markings, 286635627 edges, 579598 markings/sec, 185 secs
lola: 132039744 markings, 293449437 edges, 575706 markings/sec, 190 secs
lola: 135191020 markings, 300406727 edges, 630255 markings/sec, 195 secs
lola: 138863275 markings, 308543701 edges, 734451 markings/sec, 200 secs
lola: 142610844 markings, 316877374 edges, 749514 markings/sec, 205 secs
lola: 146272970 markings, 324985131 edges, 732425 markings/sec, 210 secs
lola: 149626572 markings, 332483019 edges, 670720 markings/sec, 215 secs
lola: 152489383 markings, 339436375 edges, 572562 markings/sec, 220 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Kanban-PT-0500-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496357327917

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_Kanban-PT-0500"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_Kanban-PT-0500.tgz
mv S_Kanban-PT-0500 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_Kanban-PT-0500, 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 r118-blw7-149441649900128"
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 ;