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_PolyORBLF-COL-S06J04T08, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681500389
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496425680706


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBLF-COL-S06J04T08: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBLF-COL-S06J04T08: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-COL-S06J04T08 @ 3535 seconds
----- Start make result stdout -----
lola: LoLA will run for 3535 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 14824/65536 symbol table entries, 5181 collisions
lola: preprocessing...
lola: finding significant places
lola: 810 places, 14014 transitions, 752 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3639 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J04T08-UpperBounds.task
lola: MAX(p625) : MAX(p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409) : MAX(p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222) : MAX(p62) : MAX(p345) : MAX(p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118) : MAX(p265) : MAX(p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263) : MAX(p680 + p679 + p678 + p677 + p676 + p675) : MAX(p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190) : MAX(p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640) : MAX(p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214) : MAX(p597) : MAX(p13) : MAX(p695 + p696 + p697 + p698 + p699 + p700 + p701 + p702 + p703 + p704 + p705 + p706 + p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714 + p715 + p716 + p717 + p718 + p719 + p720 + p721 + p722 + p723 + p724 + p725 + p726 + p727 + p728 + p729 + p730 + p731 + p732 + p733 + p734 + p735 + p736 + p737 + p738 + p739 + p740 + p741 + p742) : MAX(p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p625)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 4798 markings, 5838 edges, 960 markings/sec, 0 secs
lola: 9452 markings, 11373 edges, 931 markings/sec, 5 secs
lola: 13982 markings, 16838 edges, 906 markings/sec, 10 secs
lola: 18912 markings, 22977 edges, 986 markings/sec, 15 secs
lola: 24006 markings, 29793 edges, 1019 markings/sec, 20 secs
lola: 26907 markings, 33043 edges, 580 markings/sec, 25 secs
lola: 29640 markings, 36298 edges, 547 markings/sec, 30 secs
lola: 32376 markings, 39550 edges, 547 markings/sec, 35 secs
lola: 35109 markings, 42653 edges, 547 markings/sec, 40 secs
lola: 37841 markings, 46102 edges, 546 markings/sec, 45 secs
lola: 40575 markings, 49323 edges, 547 markings/sec, 50 secs
lola: 43310 markings, 52450 edges, 547 markings/sec, 55 secs
lola: 46043 markings, 55650 edges, 547 markings/sec, 60 secs
lola: 48777 markings, 58780 edges, 547 markings/sec, 65 secs
lola: 51513 markings, 61841 edges, 547 markings/sec, 70 secs
lola: 54251 markings, 64839 edges, 548 markings/sec, 75 secs
lola: 56989 markings, 67796 edges, 548 markings/sec, 80 secs
lola: 59720 markings, 70823 edges, 546 markings/sec, 85 secs
lola: 62452 markings, 73887 edges, 546 markings/sec, 90 secs
lola: 65182 markings, 77046 edges, 546 markings/sec, 95 secs
lola: 67915 markings, 80145 edges, 547 markings/sec, 100 secs
lola: 70644 markings, 83227 edges, 546 markings/sec, 105 secs
lola: 73374 markings, 86447 edges, 546 markings/sec, 110 secs
lola: 76102 markings, 89725 edges, 546 markings/sec, 115 secs
lola: 78832 markings, 92988 edges, 546 markings/sec, 120 secs
lola: 81565 markings, 96134 edges, 547 markings/sec, 125 secs
lola: 84297 markings, 99196 edges, 546 markings/sec, 130 secs
lola: 87029 markings, 102400 edges, 546 markings/sec, 135 secs
lola: 89758 markings, 105720 edges, 546 markings/sec, 140 secs
lola: 92490 markings, 109014 edges, 546 markings/sec, 145 secs
lola: 95219 markings, 112378 edges, 546 markings/sec, 150 secs
lola: 98152 markings, 116228 edges, 587 markings/sec, 155 secs
lola: 100929 markings, 119340 edges, 555 markings/sec, 160 secs
lola: 103702 markings, 122692 edges, 555 markings/sec, 165 secs
lola: 106472 markings, 125982 edges, 554 markings/sec, 170 secs
lola: 109248 markings, 129216 edges, 555 markings/sec, 175 secs
lola: 112025 markings, 132328 edges, 555 markings/sec, 180 secs
lola: 114801 markings, 135360 edges, 555 markings/sec, 185 secs
lola: 117572 markings, 138521 edges, 554 markings/sec, 190 secs
lola: 120343 markings, 141668 edges, 554 markings/sec, 195 secs
lola: 123112 markings, 144982 edges, 554 markings/sec, 200 secs
lola: 125839 markings, 148217 edges, 545 markings/sec, 205 secs
lola: 128570 markings, 151323 edges, 546 markings/sec, 210 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(p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 14763 markings, 29095 edges, 2953 markings/sec, 0 secs
lola: 28887 markings, 58057 edges, 2825 markings/sec, 5 secs
lola: 37273 markings, 79094 edges, 1677 markings/sec, 10 secs
lola: 50068 markings, 108382 edges, 2559 markings/sec, 15 secs
lola: 61505 markings, 132213 edges, 2287 markings/sec, 20 secs
lola: 72853 markings, 155219 edges, 2270 markings/sec, 25 secs
lola: 84795 markings, 182029 edges, 2388 markings/sec, 30 secs
lola: 97986 markings, 212056 edges, 2638 markings/sec, 35 secs
lola: 107489 markings, 230791 edges, 1901 markings/sec, 40 secs
lola: 119019 markings, 254131 edges, 2306 markings/sec, 45 secs
lola: 123345 markings, 261994 edges, 865 markings/sec, 50 secs
lola: 126261 markings, 265233 edges, 583 markings/sec, 55 secs
lola: 129168 markings, 268550 edges, 581 markings/sec, 60 secs
lola: 132059 markings, 271792 edges, 578 markings/sec, 65 secs
lola: 134960 markings, 275126 edges, 580 markings/sec, 70 secs
lola: 137872 markings, 278457 edges, 582 markings/sec, 75 secs
lola: 140771 markings, 281802 edges, 580 markings/sec, 80 secs
lola: 143683 markings, 285078 edges, 582 markings/sec, 85 secs
lola: 146594 markings, 288404 edges, 582 markings/sec, 90 secs
lola: 149513 markings, 291656 edges, 584 markings/sec, 95 secs
lola: 152431 markings, 294802 edges, 584 markings/sec, 100 secs
lola: 155348 markings, 298076 edges, 583 markings/sec, 105 secs
lola: 158239 markings, 301206 edges, 578 markings/sec, 110 secs
lola: 161033 markings, 304250 edges, 559 markings/sec, 115 secs
lola: 163959 markings, 307659 edges, 585 markings/sec, 120 secs
lola: 166881 markings, 311138 edges, 584 markings/sec, 125 secs
lola: 169797 markings, 314425 edges, 583 markings/sec, 130 secs
lola: 172714 markings, 317546 edges, 583 markings/sec, 135 secs
lola: 175622 markings, 320687 edges, 582 markings/sec, 140 secs
lola: 178536 markings, 323922 edges, 583 markings/sec, 145 secs
lola: 181442 markings, 327042 edges, 581 markings/sec, 150 secs
lola: 184343 markings, 330212 edges, 580 markings/sec, 155 secs
lola: 187255 markings, 333538 edges, 582 markings/sec, 160 secs
lola: 190162 markings, 336849 edges, 581 markings/sec, 165 secs
lola: 193081 markings, 340362 edges, 584 markings/sec, 170 secs
lola: 196010 markings, 343808 edges, 586 markings/sec, 175 secs
lola: 198931 markings, 347305 edges, 584 markings/sec, 180 secs
lola: 201841 markings, 350655 edges, 582 markings/sec, 185 secs
lola: 204755 markings, 354104 edges, 583 markings/sec, 190 secs
lola: 207676 markings, 357803 edges, 584 markings/sec, 195 secs
lola: 210599 markings, 361223 edges, 585 markings/sec, 200 secs
lola: 213506 markings, 364530 edges, 581 markings/sec, 205 secs
lola: 216419 markings, 367723 edges, 583 markings/sec, 210 secs
lola: 219333 markings, 370859 edges, 583 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(p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 4372 markings, 4663 edges, 874 markings/sec, 0 secs
lola: 9028 markings, 9988 edges, 931 markings/sec, 5 secs
lola: 13416 markings, 14816 edges, 878 markings/sec, 10 secs
lola: 17847 markings, 19516 edges, 886 markings/sec, 15 secs
lola: 22284 markings, 24405 edges, 887 markings/sec, 20 secs
lola: 26705 markings, 29286 edges, 884 markings/sec, 25 secs
lola: 30983 markings, 34048 edges, 856 markings/sec, 30 secs
lola: 35575 markings, 39126 edges, 918 markings/sec, 35 secs
lola: 40182 markings, 44358 edges, 921 markings/sec, 40 secs
lola: 44788 markings, 49441 edges, 921 markings/sec, 45 secs
lola: 49390 markings, 54578 edges, 920 markings/sec, 50 secs
lola: 54010 markings, 59617 edges, 924 markings/sec, 55 secs
lola: 58717 markings, 65060 edges, 941 markings/sec, 60 secs
lola: 63454 markings, 70460 edges, 947 markings/sec, 65 secs
lola: 67785 markings, 75392 edges, 866 markings/sec, 70 secs
lola: 72100 markings, 80237 edges, 863 markings/sec, 75 secs
lola: 76846 markings, 86010 edges, 949 markings/sec, 80 secs
lola: 81613 markings, 91523 edges, 953 markings/sec, 85 secs
lola: 86345 markings, 96925 edges, 946 markings/sec, 90 secs
lola: 91042 markings, 102149 edges, 939 markings/sec, 95 secs
lola: 95709 markings, 107313 edges, 933 markings/sec, 100 secs
lola: 100357 markings, 112548 edges, 930 markings/sec, 105 secs
lola: 104998 markings, 117476 edges, 928 markings/sec, 110 secs
lola: 109707 markings, 122697 edges, 942 markings/sec, 115 secs
lola: 114414 markings, 127979 edges, 941 markings/sec, 120 secs
lola: 119048 markings, 133035 edges, 927 markings/sec, 125 secs
lola: 123719 markings, 138329 edges, 934 markings/sec, 130 secs
lola: 128377 markings, 143357 edges, 932 markings/sec, 135 secs
lola: 133067 markings, 148492 edges, 938 markings/sec, 140 secs
lola: 137754 markings, 153726 edges, 937 markings/sec, 145 secs
lola: 142405 markings, 159040 edges, 930 markings/sec, 150 secs
lola: 147054 markings, 164401 edges, 930 markings/sec, 155 secs
lola: 151719 markings, 169885 edges, 933 markings/sec, 160 secs
lola: 156449 markings, 175094 edges, 946 markings/sec, 165 secs
lola: 161100 markings, 180414 edges, 930 markings/sec, 170 secs
lola: 165781 markings, 185804 edges, 936 markings/sec, 175 secs
lola: 170412 markings, 190817 edges, 926 markings/sec, 180 secs
lola: 175141 markings, 196191 edges, 946 markings/sec, 185 secs
lola: 179770 markings, 201403 edges, 926 markings/sec, 190 secs
lola: 184397 markings, 206377 edges, 925 markings/sec, 195 secs
lola: 189134 markings, 211816 edges, 947 markings/sec, 200 secs
lola: 193757 markings, 216804 edges, 925 markings/sec, 205 secs
lola: 198412 markings, 222130 edges, 931 markings/sec, 210 secs
lola: 203078 markings, 227192 edges, 933 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(p62)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 14311 markings, 28422 edges, 2862 markings/sec, 0 secs
lola: 28604 markings, 57030 edges, 2859 markings/sec, 5 secs
lola: 32790 markings, 66790 edges, 837 markings/sec, 10 secs
lola: 40909 markings, 77128 edges, 1624 markings/sec, 15 secs
lola: 49524 markings, 88024 edges, 1723 markings/sec, 20 secs
lola: 58075 markings, 98783 edges, 1710 markings/sec, 25 secs
lola: 66908 markings, 110402 edges, 1767 markings/sec, 30 secs
lola: 75418 markings, 120916 edges, 1702 markings/sec, 35 secs
lola: 84260 markings, 132399 edges, 1768 markings/sec, 40 secs
lola: 92820 markings, 143107 edges, 1712 markings/sec, 45 secs
lola: 101147 markings, 153651 edges, 1665 markings/sec, 50 secs
lola: 109846 markings, 164898 edges, 1740 markings/sec, 55 secs
lola: 118551 markings, 176041 edges, 1741 markings/sec, 60 secs
lola: 127200 markings, 187020 edges, 1730 markings/sec, 65 secs
lola: 135365 markings, 197412 edges, 1633 markings/sec, 70 secs
lola: 144051 markings, 208620 edges, 1737 markings/sec, 75 secs
lola: 152764 markings, 219952 edges, 1743 markings/sec, 80 secs
lola: 161056 markings, 230647 edges, 1658 markings/sec, 85 secs
lola: 169297 markings, 241130 edges, 1648 markings/sec, 90 secs
lola: 178063 markings, 252527 edges, 1753 markings/sec, 95 secs
lola: 186733 markings, 263820 edges, 1734 markings/sec, 100 secs
lola: 195055 markings, 274456 edges, 1664 markings/sec, 105 secs
lola: 203650 markings, 285717 edges, 1719 markings/sec, 110 secs
lola: 212225 markings, 296329 edges, 1715 markings/sec, 115 secs
lola: 221033 markings, 307698 edges, 1762 markings/sec, 120 secs
lola: 229698 markings, 318534 edges, 1733 markings/sec, 125 secs
lola: 238208 markings, 329648 edges, 1702 markings/sec, 130 secs
lola: 246362 markings, 340023 edges, 1631 markings/sec, 135 secs
lola: 254503 markings, 350160 edges, 1628 markings/sec, 140 secs
lola: 262584 markings, 360584 edges, 1616 markings/sec, 145 secs
lola: 270895 markings, 371421 edges, 1662 markings/sec, 150 secs
lola: 279679 markings, 382773 edges, 1757 markings/sec, 155 secs
lola: 288372 markings, 394239 edges, 1739 markings/sec, 160 secs
lola: 296829 markings, 404703 edges, 1691 markings/sec, 165 secs
lola: 305689 markings, 416538 edges, 1772 markings/sec, 170 secs
lola: 314317 markings, 427406 edges, 1726 markings/sec, 175 secs
lola: 322969 markings, 438640 edges, 1730 markings/sec, 180 secs
lola: 331833 markings, 450254 edges, 1773 markings/sec, 185 secs
lola: 339771 markings, 459258 edges, 1588 markings/sec, 190 secs
lola: 348649 markings, 470994 edges, 1776 markings/sec, 195 secs
lola: 357541 markings, 483030 edges, 1778 markings/sec, 200 secs
lola: 366083 markings, 494248 edges, 1708 markings/sec, 205 secs
lola: 374999 markings, 506549 edges, 1783 markings/sec, 210 secs
lola: 383824 markings, 517947 edges, 1765 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(p345)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 4360 markings, 4460 edges, 872 markings/sec, 0 secs
lola: 8906 markings, 9148 edges, 909 markings/sec, 5 secs
lola: 13343 markings, 14388 edges, 887 markings/sec, 10 secs
lola: 17731 markings, 19228 edges, 878 markings/sec, 15 secs
lola: 20988 markings, 23447 edges, 651 markings/sec, 20 secs
lola: 24165 markings, 28060 edges, 635 markings/sec, 25 secs
lola: 27814 markings, 32538 edges, 730 markings/sec, 30 secs
lola: 31556 markings, 37157 edges, 748 markings/sec, 35 secs
lola: 34475 markings, 41230 edges, 584 markings/sec, 40 secs
lola: 38936 markings, 46588 edges, 892 markings/sec, 45 secs
lola: 43191 markings, 51810 edges, 851 markings/sec, 50 secs
lola: 46914 markings, 56514 edges, 745 markings/sec, 55 secs
lola: 51340 markings, 61991 edges, 885 markings/sec, 60 secs
lola: 55947 markings, 67137 edges, 921 markings/sec, 65 secs
lola: 60430 markings, 72526 edges, 897 markings/sec, 70 secs
lola: 63844 markings, 77107 edges, 683 markings/sec, 75 secs
lola: 68201 markings, 82508 edges, 871 markings/sec, 80 secs
lola: 72612 markings, 88092 edges, 882 markings/sec, 85 secs
lola: 76996 markings, 92727 edges, 877 markings/sec, 90 secs
lola: 80575 markings, 97385 edges, 716 markings/sec, 95 secs
lola: 84638 markings, 102757 edges, 813 markings/sec, 100 secs
lola: 88802 markings, 107753 edges, 833 markings/sec, 105 secs
lola: 92800 markings, 112734 edges, 800 markings/sec, 110 secs
lola: 96672 markings, 118297 edges, 774 markings/sec, 115 secs
lola: 100778 markings, 123408 edges, 821 markings/sec, 120 secs
lola: 104269 markings, 128255 edges, 698 markings/sec, 125 secs
lola: 108397 markings, 133284 edges, 826 markings/sec, 130 secs
lola: 112604 markings, 138152 edges, 841 markings/sec, 135 secs
lola: 115237 markings, 141806 edges, 527 markings/sec, 140 secs
lola: 117887 markings, 145617 edges, 530 markings/sec, 145 secs
lola: 120523 markings, 149391 edges, 527 markings/sec, 150 secs
lola: 123157 markings, 153171 edges, 527 markings/sec, 155 secs
lola: 125780 markings, 156876 edges, 525 markings/sec, 160 secs
lola: 128418 markings, 160691 edges, 528 markings/sec, 165 secs
lola: 131060 markings, 164486 edges, 528 markings/sec, 170 secs
lola: 133693 markings, 168293 edges, 527 markings/sec, 175 secs
lola: 136322 markings, 171976 edges, 526 markings/sec, 180 secs
lola: 138957 markings, 175790 edges, 527 markings/sec, 185 secs
lola: 141598 markings, 179597 edges, 528 markings/sec, 190 secs
lola: 144230 markings, 183422 edges, 526 markings/sec, 195 secs
lola: 146882 markings, 187303 edges, 530 markings/sec, 200 secs
lola: 149534 markings, 191189 edges, 530 markings/sec, 205 secs
lola: 152193 markings, 195011 edges, 532 markings/sec, 210 secs
lola: 154841 markings, 198766 edges, 530 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(p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 14322 markings, 28433 edges, 2864 markings/sec, 0 secs
lola: 28629 markings, 57102 edges, 2861 markings/sec, 5 secs
lola: 33800 markings, 68668 edges, 1034 markings/sec, 10 secs
lola: 42398 markings, 79494 edges, 1720 markings/sec, 15 secs
lola: 51163 markings, 90822 edges, 1753 markings/sec, 20 secs
lola: 59976 markings, 102378 edges, 1763 markings/sec, 25 secs
lola: 68526 markings, 112945 edges, 1710 markings/sec, 30 secs
lola: 77258 markings, 124288 edges, 1746 markings/sec, 35 secs
lola: 85956 markings, 135380 edges, 1740 markings/sec, 40 secs
lola: 94653 markings, 146294 edges, 1739 markings/sec, 45 secs
lola: 103355 markings, 157578 edges, 1740 markings/sec, 50 secs
lola: 112041 markings, 168598 edges, 1737 markings/sec, 55 secs
lola: 120725 markings, 179764 edges, 1737 markings/sec, 60 secs
lola: 129434 markings, 190860 edges, 1742 markings/sec, 65 secs
lola: 138105 markings, 201936 edges, 1734 markings/sec, 70 secs
lola: 146772 markings, 212867 edges, 1733 markings/sec, 75 secs
lola: 155453 markings, 224139 edges, 1736 markings/sec, 80 secs
lola: 164035 markings, 234976 edges, 1716 markings/sec, 85 secs
lola: 172798 markings, 246156 edges, 1753 markings/sec, 90 secs
lola: 181396 markings, 257106 edges, 1720 markings/sec, 95 secs
lola: 189605 markings, 267035 edges, 1642 markings/sec, 100 secs
lola: 197607 markings, 276911 edges, 1600 markings/sec, 105 secs
lola: 205937 markings, 287770 edges, 1666 markings/sec, 110 secs
lola: 214395 markings, 299139 edges, 1692 markings/sec, 115 secs
lola: 222635 markings, 309602 edges, 1648 markings/sec, 120 secs
lola: 231041 markings, 320631 edges, 1681 markings/sec, 125 secs
lola: 239223 markings, 330820 edges, 1636 markings/sec, 130 secs
lola: 247467 markings, 341306 edges, 1649 markings/sec, 135 secs
lola: 255731 markings, 351798 edges, 1653 markings/sec, 140 secs
lola: 263974 markings, 362130 edges, 1649 markings/sec, 145 secs
lola: 272458 markings, 373237 edges, 1697 markings/sec, 150 secs
lola: 280628 markings, 383459 edges, 1634 markings/sec, 155 secs
lola: 288865 markings, 393929 edges, 1647 markings/sec, 160 secs
lola: 297209 markings, 404668 edges, 1669 markings/sec, 165 secs
lola: 305553 markings, 415395 edges, 1669 markings/sec, 170 secs
lola: 313753 markings, 425608 edges, 1640 markings/sec, 175 secs
lola: 322138 markings, 436641 edges, 1677 markings/sec, 180 secs
lola: 330633 markings, 447904 edges, 1699 markings/sec, 185 secs
lola: 338864 markings, 458433 edges, 1646 markings/sec, 190 secs
lola: 347097 markings, 469503 edges, 1647 markings/sec, 195 secs
lola: 355235 markings, 479815 edges, 1628 markings/sec, 200 secs
lola: 363610 markings, 490979 edges, 1675 markings/sec, 205 secs
lola: 372004 markings, 502016 edges, 1679 markings/sec, 210 secs
lola: 380394 markings, 513093 edges, 1678 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(p265)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 7471 markings, 9153 edges, 1494 markings/sec, 0 secs
lola: 14871 markings, 18048 edges, 1480 markings/sec, 5 secs
lola: 22241 markings, 26976 edges, 1474 markings/sec, 10 secs
lola: 29724 markings, 36154 edges, 1497 markings/sec, 15 secs
lola: 37287 markings, 45503 edges, 1513 markings/sec, 20 secs
lola: 44972 markings, 55744 edges, 1537 markings/sec, 25 secs
lola: 52533 markings, 65295 edges, 1512 markings/sec, 30 secs
lola: 60334 markings, 75833 edges, 1560 markings/sec, 35 secs
lola: 67644 markings, 84586 edges, 1462 markings/sec, 40 secs
lola: 75113 markings, 93734 edges, 1494 markings/sec, 45 secs
lola: 82610 markings, 102925 edges, 1499 markings/sec, 50 secs
lola: 89983 markings, 111923 edges, 1475 markings/sec, 55 secs
lola: 97544 markings, 121539 edges, 1512 markings/sec, 60 secs
lola: 105155 markings, 131502 edges, 1522 markings/sec, 65 secs
lola: 112502 markings, 140140 edges, 1469 markings/sec, 70 secs
lola: 120193 markings, 150401 edges, 1538 markings/sec, 75 secs
lola: 127800 markings, 160578 edges, 1521 markings/sec, 80 secs
lola: 135414 markings, 170584 edges, 1523 markings/sec, 85 secs
lola: 142985 markings, 180289 edges, 1514 markings/sec, 90 secs
lola: 150676 markings, 190506 edges, 1538 markings/sec, 95 secs
lola: 158095 markings, 199443 edges, 1484 markings/sec, 100 secs
lola: 165544 markings, 208589 edges, 1490 markings/sec, 105 secs
lola: 172923 markings, 217294 edges, 1476 markings/sec, 110 secs
lola: 180402 markings, 226360 edges, 1496 markings/sec, 115 secs
lola: 188048 markings, 236593 edges, 1529 markings/sec, 120 secs
lola: 195446 markings, 245964 edges, 1480 markings/sec, 125 secs
lola: 203095 markings, 255848 edges, 1530 markings/sec, 130 secs
lola: 210658 markings, 265805 edges, 1513 markings/sec, 135 secs
lola: 218447 markings, 276186 edges, 1558 markings/sec, 140 secs
lola: 225905 markings, 285401 edges, 1492 markings/sec, 145 secs
lola: 233406 markings, 294565 edges, 1500 markings/sec, 150 secs
lola: 240837 markings, 303660 edges, 1486 markings/sec, 155 secs
lola: 248154 markings, 312157 edges, 1463 markings/sec, 160 secs
lola: 255698 markings, 321683 edges, 1509 markings/sec, 165 secs
lola: 263394 markings, 331460 edges, 1539 markings/sec, 170 secs
lola: 271234 markings, 342274 edges, 1568 markings/sec, 175 secs
lola: 278703 markings, 351302 edges, 1494 markings/sec, 180 secs
lola: 286321 markings, 361039 edges, 1524 markings/sec, 185 secs
lola: 294335 markings, 371834 edges, 1603 markings/sec, 190 secs
lola: 302274 markings, 381704 edges, 1588 markings/sec, 195 secs
lola: 309889 markings, 391554 edges, 1523 markings/sec, 200 secs
lola: 317668 markings, 401506 edges, 1556 markings/sec, 205 secs
lola: 325701 markings, 412157 edges, 1607 markings/sec, 210 secs
lola: 333335 markings, 421999 edges, 1527 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(p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 4372 markings, 4537 edges, 874 markings/sec, 0 secs
lola: 8797 markings, 9195 edges, 885 markings/sec, 5 secs
lola: 12111 markings, 13322 edges, 663 markings/sec, 10 secs
lola: 15052 markings, 17283 edges, 588 markings/sec, 15 secs
lola: 18030 markings, 21347 edges, 596 markings/sec, 20 secs
lola: 20981 markings, 25337 edges, 590 markings/sec, 25 secs
lola: 23960 markings, 29403 edges, 596 markings/sec, 30 secs
lola: 26910 markings, 33392 edges, 590 markings/sec, 35 secs
lola: 29893 markings, 37465 edges, 597 markings/sec, 40 secs
lola: 32844 markings, 41458 edges, 590 markings/sec, 45 secs
lola: 35826 markings, 45526 edges, 596 markings/sec, 50 secs
lola: 38775 markings, 49516 edges, 590 markings/sec, 55 secs
lola: 41755 markings, 53581 edges, 596 markings/sec, 60 secs
lola: 44705 markings, 57571 edges, 590 markings/sec, 65 secs
lola: 47684 markings, 61637 edges, 596 markings/sec, 70 secs
lola: 50631 markings, 65628 edges, 589 markings/sec, 75 secs
lola: 53609 markings, 69694 edges, 596 markings/sec, 80 secs
lola: 56493 markings, 73837 edges, 577 markings/sec, 85 secs
lola: 59327 markings, 78096 edges, 567 markings/sec, 90 secs
lola: 62159 markings, 82344 edges, 566 markings/sec, 95 secs
lola: 64993 markings, 86581 edges, 567 markings/sec, 100 secs
lola: 67821 markings, 90613 edges, 566 markings/sec, 105 secs
lola: 70654 markings, 94454 edges, 567 markings/sec, 110 secs
lola: 73490 markings, 98304 edges, 567 markings/sec, 115 secs
lola: 76317 markings, 102144 edges, 565 markings/sec, 120 secs
lola: 79155 markings, 106006 edges, 568 markings/sec, 125 secs
lola: 81990 markings, 109852 edges, 567 markings/sec, 130 secs
lola: 84829 markings, 113711 edges, 568 markings/sec, 135 secs
lola: 87665 markings, 117565 edges, 567 markings/sec, 140 secs
lola: 90446 markings, 121530 edges, 556 markings/sec, 145 secs
lola: 93161 markings, 125601 edges, 543 markings/sec, 150 secs
lola: 96328 markings, 129775 edges, 633 markings/sec, 155 secs
lola: 99540 markings, 133870 edges, 642 markings/sec, 160 secs
lola: 102487 markings, 137838 edges, 589 markings/sec, 165 secs
lola: 105475 markings, 141918 edges, 598 markings/sec, 170 secs
lola: 108434 markings, 145904 edges, 592 markings/sec, 175 secs
lola: 111421 markings, 149987 edges, 597 markings/sec, 180 secs
lola: 114383 markings, 153993 edges, 592 markings/sec, 185 secs
lola: 117369 markings, 158074 edges, 597 markings/sec, 190 secs
lola: 120331 markings, 162078 edges, 592 markings/sec, 195 secs
lola: 123313 markings, 166148 edges, 596 markings/sec, 200 secs
lola: 126280 markings, 170156 edges, 593 markings/sec, 205 secs
lola: 129267 markings, 174240 edges, 597 markings/sec, 210 secs
lola: 132236 markings, 178257 edges, 594 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(p680 + p679 + p678 + p677 + p676 + p675)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 14850 markings, 29230 edges, 2970 markings/sec, 0 secs
lola: 28782 markings, 57671 edges, 2786 markings/sec, 5 secs
lola: 31882 markings, 65960 edges, 620 markings/sec, 10 secs
lola: 34790 markings, 69395 edges, 582 markings/sec, 15 secs
lola: 37687 markings, 72794 edges, 579 markings/sec, 20 secs
lola: 40597 markings, 76355 edges, 582 markings/sec, 25 secs
lola: 43505 markings, 79886 edges, 582 markings/sec, 30 secs
lola: 46403 markings, 83331 edges, 580 markings/sec, 35 secs
lola: 49292 markings, 86673 edges, 578 markings/sec, 40 secs
lola: 52181 markings, 90107 edges, 578 markings/sec, 45 secs
lola: 55072 markings, 93592 edges, 578 markings/sec, 50 secs
lola: 57979 markings, 97240 edges, 581 markings/sec, 55 secs
lola: 60885 markings, 100861 edges, 581 markings/sec, 60 secs
lola: 63780 markings, 104402 edges, 579 markings/sec, 65 secs
lola: 66684 markings, 108150 edges, 581 markings/sec, 70 secs
lola: 72739 markings, 115689 edges, 1211 markings/sec, 75 secs
lola: 81221 markings, 126377 edges, 1696 markings/sec, 80 secs
lola: 89926 markings, 137642 edges, 1741 markings/sec, 85 secs
lola: 98561 markings, 148619 edges, 1727 markings/sec, 90 secs
lola: 107103 markings, 159608 edges, 1708 markings/sec, 95 secs
lola: 115629 markings, 170361 edges, 1705 markings/sec, 100 secs
lola: 124222 markings, 181367 edges, 1719 markings/sec, 105 secs
lola: 132773 markings, 192324 edges, 1710 markings/sec, 110 secs
lola: 141344 markings, 203171 edges, 1714 markings/sec, 115 secs
lola: 150004 markings, 214343 edges, 1732 markings/sec, 120 secs
lola: 158468 markings, 225052 edges, 1693 markings/sec, 125 secs
lola: 166852 markings, 235503 edges, 1677 markings/sec, 130 secs
lola: 175322 markings, 246209 edges, 1694 markings/sec, 135 secs
lola: 183827 markings, 256902 edges, 1701 markings/sec, 140 secs
lola: 192494 markings, 268207 edges, 1733 markings/sec, 145 secs
lola: 200976 markings, 278939 edges, 1696 markings/sec, 150 secs
lola: 209700 markings, 290305 edges, 1745 markings/sec, 155 secs
lola: 218210 markings, 301103 edges, 1702 markings/sec, 160 secs
lola: 227078 markings, 312879 edges, 1774 markings/sec, 165 secs
lola: 235683 markings, 323952 edges, 1721 markings/sec, 170 secs
lola: 244172 markings, 334566 edges, 1698 markings/sec, 175 secs
lola: 252861 markings, 346040 edges, 1738 markings/sec, 180 secs
lola: 261273 markings, 356486 edges, 1682 markings/sec, 185 secs
lola: 269935 markings, 367623 edges, 1732 markings/sec, 190 secs
lola: 278361 markings, 378182 edges, 1685 markings/sec, 195 secs
lola: 287112 markings, 389613 edges, 1750 markings/sec, 200 secs
lola: 295563 markings, 400391 edges, 1690 markings/sec, 205 secs
lola: 304087 markings, 411048 edges, 1705 markings/sec, 210 secs
lola: 312739 markings, 422238 edges, 1730 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(p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 4812 markings, 10121 edges, 962 markings/sec, 0 secs
lola: 9513 markings, 22613 edges, 940 markings/sec, 5 secs
lola: 14330 markings, 33311 edges, 963 markings/sec, 10 secs
lola: 19142 markings, 43975 edges, 962 markings/sec, 15 secs
lola: 23856 markings, 55653 edges, 943 markings/sec, 20 secs
lola: 28588 markings, 66460 edges, 946 markings/sec, 25 secs
lola: 33310 markings, 77848 edges, 944 markings/sec, 30 secs
lola: 38076 markings, 89786 edges, 953 markings/sec, 35 secs
lola: 42891 markings, 100444 edges, 963 markings/sec, 40 secs
lola: 47701 markings, 111143 edges, 962 markings/sec, 45 secs
lola: 52353 markings, 122922 edges, 930 markings/sec, 50 secs
lola: 57133 markings, 133302 edges, 956 markings/sec, 55 secs
lola: 61807 markings, 145756 edges, 935 markings/sec, 60 secs
lola: 66620 markings, 156466 edges, 963 markings/sec, 65 secs
lola: 71429 markings, 167176 edges, 962 markings/sec, 70 secs
lola: 76116 markings, 179094 edges, 937 markings/sec, 75 secs
lola: 80890 markings, 189501 edges, 955 markings/sec, 80 secs
lola: 85556 markings, 201607 edges, 933 markings/sec, 85 secs
lola: 90356 markings, 212865 edges, 960 markings/sec, 90 secs
lola: 95166 markings, 223621 edges, 962 markings/sec, 95 secs
lola: 99935 markings, 234278 edges, 954 markings/sec, 100 secs
lola: 104371 markings, 247519 edges, 887 markings/sec, 105 secs
lola: 108810 markings, 261334 edges, 888 markings/sec, 110 secs
lola: 114998 markings, 268338 edges, 1238 markings/sec, 115 secs
lola: 121392 markings, 275303 edges, 1279 markings/sec, 120 secs
lola: 127837 markings, 282358 edges, 1289 markings/sec, 125 secs
lola: 134178 markings, 289260 edges, 1268 markings/sec, 130 secs
lola: 140600 markings, 296305 edges, 1284 markings/sec, 135 secs
lola: 146958 markings, 303259 edges, 1272 markings/sec, 140 secs
lola: 153284 markings, 310157 edges, 1265 markings/sec, 145 secs
lola: 159650 markings, 317073 edges, 1273 markings/sec, 150 secs
lola: 165964 markings, 323913 edges, 1263 markings/sec, 155 secs
lola: 172346 markings, 330867 edges, 1276 markings/sec, 160 secs
lola: 178751 markings, 337889 edges, 1281 markings/sec, 165 secs
lola: 185136 markings, 344875 edges, 1277 markings/sec, 170 secs
lola: 191515 markings, 351879 edges, 1276 markings/sec, 175 secs
lola: 197829 markings, 358750 edges, 1263 markings/sec, 180 secs
lola: 204195 markings, 365681 edges, 1273 markings/sec, 185 secs
lola: 210510 markings, 372560 edges, 1263 markings/sec, 190 secs
lola: 216884 markings, 379469 edges, 1275 markings/sec, 195 secs
lola: 223264 markings, 386412 edges, 1276 markings/sec, 200 secs
lola: 229724 markings, 393487 edges, 1292 markings/sec, 205 secs
lola: 236158 markings, 400564 edges, 1287 markings/sec, 210 secs
lola: 242563 markings, 407609 edges, 1281 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(p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 8426 markings, 9284 edges, 1685 markings/sec, 0 secs
lola: 16849 markings, 18484 edges, 1685 markings/sec, 5 secs
lola: 25226 markings, 27642 edges, 1675 markings/sec, 10 secs
lola: 33701 markings, 36829 edges, 1695 markings/sec, 15 secs
lola: 42149 markings, 46074 edges, 1690 markings/sec, 20 secs
lola: 49818 markings, 54382 edges, 1534 markings/sec, 25 secs
lola: 57496 markings, 62820 edges, 1536 markings/sec, 30 secs
lola: 65786 markings, 71777 edges, 1658 markings/sec, 35 secs
lola: 74366 markings, 81213 edges, 1716 markings/sec, 40 secs
lola: 82682 markings, 90198 edges, 1663 markings/sec, 45 secs
lola: 91271 markings, 99627 edges, 1718 markings/sec, 50 secs
lola: 99528 markings, 108620 edges, 1651 markings/sec, 55 secs
lola: 107953 markings, 117768 edges, 1685 markings/sec, 60 secs
lola: 116526 markings, 127129 edges, 1715 markings/sec, 65 secs
lola: 124899 markings, 136241 edges, 1675 markings/sec, 70 secs
lola: 133266 markings, 145396 edges, 1673 markings/sec, 75 secs
lola: 141600 markings, 154408 edges, 1667 markings/sec, 80 secs
lola: 150022 markings, 163687 edges, 1684 markings/sec, 85 secs
lola: 158577 markings, 173905 edges, 1711 markings/sec, 90 secs
lola: 166974 markings, 183028 edges, 1679 markings/sec, 95 secs
lola: 175538 markings, 192855 edges, 1713 markings/sec, 100 secs
lola: 183908 markings, 202024 edges, 1674 markings/sec, 105 secs
lola: 192315 markings, 211126 edges, 1681 markings/sec, 110 secs
lola: 200736 markings, 220409 edges, 1684 markings/sec, 115 secs
lola: 209022 markings, 229335 edges, 1657 markings/sec, 120 secs
lola: 217472 markings, 238546 edges, 1690 markings/sec, 125 secs
lola: 225799 markings, 247619 edges, 1665 markings/sec, 130 secs
lola: 234229 markings, 256801 edges, 1686 markings/sec, 135 secs
lola: 242404 markings, 265782 edges, 1635 markings/sec, 140 secs
lola: 250807 markings, 274927 edges, 1681 markings/sec, 145 secs
lola: 259198 markings, 284119 edges, 1678 markings/sec, 150 secs
lola: 267496 markings, 293248 edges, 1660 markings/sec, 155 secs
lola: 275973 markings, 302708 edges, 1695 markings/sec, 160 secs
lola: 284119 markings, 311589 edges, 1629 markings/sec, 165 secs
lola: 292579 markings, 320859 edges, 1692 markings/sec, 170 secs
lola: 301036 markings, 330642 edges, 1691 markings/sec, 175 secs
lola: 309385 markings, 340083 edges, 1670 markings/sec, 180 secs
lola: 317686 markings, 349194 edges, 1660 markings/sec, 185 secs
lola: 325897 markings, 358465 edges, 1642 markings/sec, 190 secs
lola: 334078 markings, 367388 edges, 1636 markings/sec, 195 secs
lola: 342664 markings, 377295 edges, 1717 markings/sec, 200 secs
lola: 350947 markings, 386206 edges, 1657 markings/sec, 205 secs
lola: 359378 markings, 395409 edges, 1686 markings/sec, 210 secs
lola: 367648 markings, 404426 edges, 1654 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(p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 14450 markings, 28629 edges, 2890 markings/sec, 0 secs
lola: 28679 markings, 57289 edges, 2846 markings/sec, 5 secs
lola: 33982 markings, 68853 edges, 1061 markings/sec, 10 secs
lola: 42754 markings, 80052 edges, 1754 markings/sec, 15 secs
lola: 51519 markings, 91421 edges, 1753 markings/sec, 20 secs
lola: 60264 markings, 102657 edges, 1749 markings/sec, 25 secs
lola: 68891 markings, 113390 edges, 1725 markings/sec, 30 secs
lola: 77673 markings, 124847 edges, 1756 markings/sec, 35 secs
lola: 86325 markings, 135745 edges, 1730 markings/sec, 40 secs
lola: 95122 markings, 147090 edges, 1759 markings/sec, 45 secs
lola: 103769 markings, 157973 edges, 1729 markings/sec, 50 secs
lola: 112561 markings, 169315 edges, 1758 markings/sec, 55 secs
lola: 121187 markings, 180203 edges, 1725 markings/sec, 60 secs
lola: 129974 markings, 191559 edges, 1757 markings/sec, 65 secs
lola: 138610 markings, 202415 edges, 1727 markings/sec, 70 secs
lola: 147371 markings, 213725 edges, 1752 markings/sec, 75 secs
lola: 155993 markings, 224635 edges, 1724 markings/sec, 80 secs
lola: 164785 markings, 236006 edges, 1758 markings/sec, 85 secs
lola: 173409 markings, 246856 edges, 1725 markings/sec, 90 secs
lola: 182053 markings, 257744 edges, 1729 markings/sec, 95 secs
lola: 190319 markings, 267694 edges, 1653 markings/sec, 100 secs
lola: 198904 markings, 278278 edges, 1717 markings/sec, 105 secs
lola: 207773 markings, 289911 edges, 1774 markings/sec, 110 secs
lola: 216603 markings, 301685 edges, 1766 markings/sec, 115 secs
lola: 225469 markings, 313377 edges, 1773 markings/sec, 120 secs
lola: 234089 markings, 324011 edges, 1724 markings/sec, 125 secs
lola: 242930 markings, 335465 edges, 1768 markings/sec, 130 secs
lola: 251605 markings, 346569 edges, 1735 markings/sec, 135 secs
lola: 260231 markings, 357208 edges, 1725 markings/sec, 140 secs
lola: 268995 markings, 368520 edges, 1753 markings/sec, 145 secs
lola: 277389 markings, 379141 edges, 1679 markings/sec, 150 secs
lola: 286108 markings, 390403 edges, 1744 markings/sec, 155 secs
lola: 294804 markings, 401358 edges, 1739 markings/sec, 160 secs
lola: 302585 markings, 411360 edges, 1556 markings/sec, 165 secs
lola: 311236 markings, 422533 edges, 1730 markings/sec, 170 secs
lola: 319965 markings, 433695 edges, 1746 markings/sec, 175 secs
lola: 328787 markings, 445322 edges, 1764 markings/sec, 180 secs
lola: 337424 markings, 456207 edges, 1727 markings/sec, 185 secs
lola: 346245 markings, 468453 edges, 1764 markings/sec, 190 secs
lola: 354697 markings, 478972 edges, 1690 markings/sec, 195 secs
lola: 363471 markings, 490682 edges, 1755 markings/sec, 200 secs
lola: 372221 markings, 502076 edges, 1750 markings/sec, 205 secs
lola: 381142 markings, 514148 edges, 1784 markings/sec, 210 secs
lola: 389939 markings, 525762 edges, 1759 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(p597)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 9019 markings, 10209 edges, 1804 markings/sec, 0 secs
lola: 17896 markings, 19815 edges, 1775 markings/sec, 5 secs
lola: 26768 markings, 29476 edges, 1774 markings/sec, 10 secs
lola: 35733 markings, 39307 edges, 1793 markings/sec, 15 secs
lola: 44674 markings, 48989 edges, 1788 markings/sec, 20 secs
lola: 53581 markings, 58758 edges, 1781 markings/sec, 25 secs
lola: 62562 markings, 68519 edges, 1796 markings/sec, 30 secs
lola: 71408 markings, 78127 edges, 1769 markings/sec, 35 secs
lola: 80383 markings, 88000 edges, 1795 markings/sec, 40 secs
lola: 89300 markings, 97607 edges, 1783 markings/sec, 45 secs
lola: 98193 markings, 107405 edges, 1779 markings/sec, 50 secs
lola: 107102 markings, 117035 edges, 1782 markings/sec, 55 secs
lola: 115995 markings, 126792 edges, 1779 markings/sec, 60 secs
lola: 124945 markings, 136511 edges, 1790 markings/sec, 65 secs
lola: 133806 markings, 146181 edges, 1772 markings/sec, 70 secs
lola: 142715 markings, 155847 edges, 1782 markings/sec, 75 secs
lola: 151701 markings, 166172 edges, 1797 markings/sec, 80 secs
lola: 160691 markings, 176422 edges, 1798 markings/sec, 85 secs
lola: 169551 markings, 186131 edges, 1772 markings/sec, 90 secs
lola: 178549 markings, 196331 edges, 1800 markings/sec, 95 secs
lola: 187529 markings, 206165 edges, 1796 markings/sec, 100 secs
lola: 196399 markings, 215812 edges, 1774 markings/sec, 105 secs
lola: 205374 markings, 225591 edges, 1795 markings/sec, 110 secs
lola: 214187 markings, 235159 edges, 1763 markings/sec, 115 secs
lola: 223190 markings, 245008 edges, 1801 markings/sec, 120 secs
lola: 232065 markings, 254622 edges, 1775 markings/sec, 125 secs
lola: 240790 markings, 264246 edges, 1745 markings/sec, 130 secs
lola: 249706 markings, 273896 edges, 1783 markings/sec, 135 secs
lola: 258606 markings, 283667 edges, 1780 markings/sec, 140 secs
lola: 267407 markings, 293305 edges, 1760 markings/sec, 145 secs
lola: 276344 markings, 303570 edges, 1787 markings/sec, 150 secs
lola: 285139 markings, 313152 edges, 1759 markings/sec, 155 secs
lola: 294125 markings, 323419 edges, 1797 markings/sec, 160 secs
lola: 302857 markings, 333036 edges, 1746 markings/sec, 165 secs
lola: 311790 markings, 343333 edges, 1787 markings/sec, 170 secs
lola: 320443 markings, 352881 edges, 1731 markings/sec, 175 secs
lola: 329256 markings, 362969 edges, 1763 markings/sec, 180 secs
lola: 338086 markings, 373132 edges, 1766 markings/sec, 185 secs
lola: 347067 markings, 382921 edges, 1796 markings/sec, 190 secs
lola: 355870 markings, 392475 edges, 1761 markings/sec, 195 secs
lola: 364783 markings, 402260 edges, 1783 markings/sec, 200 secs
lola: 373669 markings, 412458 edges, 1777 markings/sec, 205 secs
lola: 382340 markings, 422010 edges, 1734 markings/sec, 210 secs
lola: 391230 markings, 432216 edges, 1778 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 8333 markings, 9189 edges, 1667 markings/sec, 0 secs
lola: 16653 markings, 18284 edges, 1664 markings/sec, 5 secs
lola: 24960 markings, 27352 edges, 1661 markings/sec, 10 secs
lola: 33301 markings, 36371 edges, 1668 markings/sec, 15 secs
lola: 41654 markings, 45535 edges, 1671 markings/sec, 20 secs
lola: 49965 markings, 54546 edges, 1662 markings/sec, 25 secs
lola: 58340 markings, 63735 edges, 1675 markings/sec, 30 secs
lola: 66627 markings, 72690 edges, 1657 markings/sec, 35 secs
lola: 75036 markings, 81950 edges, 1682 markings/sec, 40 secs
lola: 83329 markings, 90899 edges, 1659 markings/sec, 45 secs
lola: 91729 markings, 100170 edges, 1680 markings/sec, 50 secs
lola: 99962 markings, 109062 edges, 1647 markings/sec, 55 secs
lola: 108409 markings, 118283 edges, 1689 markings/sec, 60 secs
lola: 116667 markings, 127272 edges, 1652 markings/sec, 65 secs
lola: 125065 markings, 136422 edges, 1680 markings/sec, 70 secs
lola: 133400 markings, 145546 edges, 1667 markings/sec, 75 secs
lola: 141687 markings, 154504 edges, 1657 markings/sec, 80 secs
lola: 150052 markings, 163717 edges, 1673 markings/sec, 85 secs
lola: 158587 markings, 173915 edges, 1707 markings/sec, 90 secs
lola: 166945 markings, 182998 edges, 1672 markings/sec, 95 secs
lola: 175560 markings, 192878 edges, 1723 markings/sec, 100 secs
lola: 184056 markings, 202177 edges, 1699 markings/sec, 105 secs
lola: 192591 markings, 211422 edges, 1707 markings/sec, 110 secs
lola: 201114 markings, 220796 edges, 1705 markings/sec, 115 secs
lola: 209519 markings, 229842 edges, 1681 markings/sec, 120 secs
lola: 218171 markings, 239344 edges, 1730 markings/sec, 125 secs
lola: 226598 markings, 248446 edges, 1685 markings/sec, 130 secs
lola: 235229 markings, 257981 edges, 1726 markings/sec, 135 secs
lola: 243557 markings, 267007 edges, 1666 markings/sec, 140 secs
lola: 252137 markings, 276457 edges, 1716 markings/sec, 145 secs
lola: 260659 markings, 285724 edges, 1704 markings/sec, 150 secs
lola: 269034 markings, 294872 edges, 1675 markings/sec, 155 secs
lola: 277575 markings, 304455 edges, 1708 markings/sec, 160 secs
lola: 286057 markings, 313737 edges, 1696 markings/sec, 165 secs
lola: 294725 markings, 323625 edges, 1734 markings/sec, 170 secs
lola: 303088 markings, 332838 edges, 1673 markings/sec, 175 secs
lola: 311689 markings, 342594 edges, 1720 markings/sec, 180 secs
lola: 320018 markings, 351716 edges, 1666 markings/sec, 185 secs
lola: 328366 markings, 361078 edges, 1670 markings/sec, 190 secs
lola: 337043 markings, 371170 edges, 1735 markings/sec, 195 secs
lola: 345483 markings, 380262 edges, 1688 markings/sec, 200 secs
lola: 354073 markings, 389711 edges, 1718 markings/sec, 205 secs
lola: 362584 markings, 398937 edges, 1702 markings/sec, 210 secs
lola: 370997 markings, 408145 edges, 1683 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p695 + p696 + p697 + p698 + p699 + p700 + p701 + p702 + p703 + p704 + p705 + p706 + p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714 + p715 + p716 + p717 + p718 + p719 + p720 + p721 + p722 + p723 + p724 + p725 + p726 + p727 + p728 + p729 + p730 + p731 + p732 + p733 + p734 + p735 + p736 + p737 + p738 + p739 + p740 + p741 + p742)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 5115 markings, 5296 edges, 1023 markings/sec, 0 secs
lola: 17472 markings, 31746 edges, 2471 markings/sec, 5 secs
lola: 29399 markings, 59412 edges, 2385 markings/sec, 10 secs
lola: 32432 markings, 63964 edges, 607 markings/sec, 15 secs
lola: 35364 markings, 67215 edges, 586 markings/sec, 20 secs
lola: 38294 markings, 70532 edges, 586 markings/sec, 25 secs
lola: 41224 markings, 73897 edges, 586 markings/sec, 30 secs
lola: 44133 markings, 76961 edges, 582 markings/sec, 35 secs
lola: 47020 markings, 80191 edges, 577 markings/sec, 40 secs
lola: 49915 markings, 83607 edges, 579 markings/sec, 45 secs
lola: 54182 markings, 88339 edges, 853 markings/sec, 50 secs
lola: 59246 markings, 93523 edges, 1013 markings/sec, 55 secs
lola: 70983 markings, 117248 edges, 2347 markings/sec, 60 secs
lola: 82682 markings, 144376 edges, 2340 markings/sec, 65 secs
lola: 86658 markings, 152547 edges, 795 markings/sec, 70 secs
lola: 89596 markings, 156298 edges, 588 markings/sec, 75 secs
lola: 92330 markings, 159923 edges, 547 markings/sec, 80 secs
lola: 95254 markings, 163453 edges, 585 markings/sec, 85 secs
lola: 98185 markings, 167193 edges, 586 markings/sec, 90 secs
lola: 101394 markings, 171474 edges, 642 markings/sec, 95 secs
lola: 106703 markings, 176917 edges, 1062 markings/sec, 100 secs
lola: 118483 markings, 201335 edges, 2356 markings/sec, 105 secs
lola: 129325 markings, 223125 edges, 2168 markings/sec, 110 secs
lola: 141624 markings, 249994 edges, 2460 markings/sec, 115 secs
lola: 153537 markings, 277580 edges, 2383 markings/sec, 120 secs
lola: 158879 markings, 284837 edges, 1068 markings/sec, 125 secs
lola: 166864 markings, 298135 edges, 1597 markings/sec, 130 secs
lola: 178658 markings, 325294 edges, 2359 markings/sec, 135 secs
lola: 188765 markings, 347508 edges, 2021 markings/sec, 140 secs
lola: 193995 markings, 352852 edges, 1046 markings/sec, 145 secs
lola: 205980 markings, 380153 edges, 2397 markings/sec, 150 secs
lola: 217917 markings, 407856 edges, 2387 markings/sec, 155 secs
lola: 229677 markings, 435014 edges, 2352 markings/sec, 160 secs
lola: 241359 markings, 462474 edges, 2336 markings/sec, 165 secs
lola: 252258 markings, 483452 edges, 2180 markings/sec, 170 secs
lola: 262920 markings, 504934 edges, 2132 markings/sec, 175 secs
lola: 268762 markings, 511545 edges, 1168 markings/sec, 180 secs
lola: 279348 markings, 532073 edges, 2117 markings/sec, 185 secs
lola: 289727 markings, 553358 edges, 2076 markings/sec, 190 secs
lola: 301612 markings, 580145 edges, 2377 markings/sec, 195 secs
lola: 313391 markings, 607224 edges, 2356 markings/sec, 200 secs
lola: 321298 markings, 620191 edges, 1581 markings/sec, 205 secs
lola: 332364 markings, 642583 edges, 2213 markings/sec, 210 secs
lola: 343259 markings, 664522 edges, 2179 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 3025 markings, 3242 edges, 605 markings/sec, 0 secs
lola: 5867 markings, 6485 edges, 568 markings/sec, 5 secs
lola: 8708 markings, 9879 edges, 568 markings/sec, 10 secs
lola: 11553 markings, 13051 edges, 569 markings/sec, 15 secs
lola: 14396 markings, 16267 edges, 569 markings/sec, 20 secs
lola: 17240 markings, 19383 edges, 569 markings/sec, 25 secs
lola: 20088 markings, 22435 edges, 570 markings/sec, 30 secs
lola: 22929 markings, 25558 edges, 568 markings/sec, 35 secs
lola: 25770 markings, 28730 edges, 568 markings/sec, 40 secs
lola: 28610 markings, 31897 edges, 568 markings/sec, 45 secs
lola: 31449 markings, 35176 edges, 568 markings/sec, 50 secs
lola: 34291 markings, 38462 edges, 568 markings/sec, 55 secs
lola: 37133 markings, 41614 edges, 568 markings/sec, 60 secs
lola: 39971 markings, 44866 edges, 568 markings/sec, 65 secs
lola: 42809 markings, 48219 edges, 568 markings/sec, 70 secs
lola: 45645 markings, 51655 edges, 567 markings/sec, 75 secs
lola: 48486 markings, 55028 edges, 568 markings/sec, 80 secs
lola: 51327 markings, 58405 edges, 568 markings/sec, 85 secs
lola: 54168 markings, 61620 edges, 568 markings/sec, 90 secs
lola: 57004 markings, 64826 edges, 567 markings/sec, 95 secs
lola: 59672 markings, 67983 edges, 534 markings/sec, 100 secs
lola: 62056 markings, 70769 edges, 477 markings/sec, 105 secs
lola: 64577 markings, 73912 edges, 504 markings/sec, 110 secs
lola: 67163 markings, 77070 edges, 517 markings/sec, 115 secs
lola: 69540 markings, 79903 edges, 475 markings/sec, 120 secs
lola: 71920 markings, 82964 edges, 476 markings/sec, 125 secs
lola: 74561 markings, 86519 edges, 528 markings/sec, 130 secs
lola: 77007 markings, 89162 edges, 489 markings/sec, 135 secs
lola: 79378 markings, 91894 edges, 474 markings/sec, 140 secs
lola: 82036 markings, 94966 edges, 532 markings/sec, 145 secs
lola: 84736 markings, 98081 edges, 540 markings/sec, 150 secs
lola: 87494 markings, 101206 edges, 552 markings/sec, 155 secs
lola: 90209 markings, 104201 edges, 543 markings/sec, 160 secs
lola: 92742 markings, 106950 edges, 507 markings/sec, 165 secs
lola: 95250 markings, 109655 edges, 502 markings/sec, 170 secs
lola: 97884 markings, 112557 edges, 527 markings/sec, 175 secs
lola: 100833 markings, 115865 edges, 590 markings/sec, 180 secs
lola: 103777 markings, 119170 edges, 589 markings/sec, 185 secs
lola: 106721 markings, 122580 edges, 589 markings/sec, 190 secs
lola: 109670 markings, 125950 edges, 590 markings/sec, 195 secs
lola: 112614 markings, 129247 edges, 589 markings/sec, 200 secs
lola: 115558 markings, 132699 edges, 589 markings/sec, 205 secs
lola: 118501 markings, 136177 edges, 589 markings/sec, 210 secs
lola: 121445 markings, 139748 edges, 589 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-S06J04T08-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496429220278

--------------------
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_PolyORBLF-COL-S06J04T08"
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_PolyORBLF-COL-S06J04T08.tgz
mv S_PolyORBLF-COL-S06J04T08 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_PolyORBLF-COL-S06J04T08, 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 r128-smll-149441681500389"
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 ;