About the Execution of LoLA for S_Angiogenesis-PT-25
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9645.390 | 3540258.00 | 3552162.00 | 320.00 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_Angiogenesis-PT-25, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074100137
=====================================================================
--------------------
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 Angiogenesis-PT-25-UpperBounds-0
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-1
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-10
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-11
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-12
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-13
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-14
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-15
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-2
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-3
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-4
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-5
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-6
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-7
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-8
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496333306254
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_Angiogenesis-PT-25: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_Angiogenesis-PT-25: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Angiogenesis-PT-25 @ 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: 103/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 39 places, 64 transitions, 31 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 54 transition conflict sets
lola: TASK
lola: reading formula from Angiogenesis-PT-25-UpperBounds.task
lola: MAX(PtP3P2) : MAX(KdStarGStarP3kStarP3) : MAX(PtP3P2) : MAX(KdStarGStarPgStarP3) : MAX(KdStar) : MAX(KdStarGStarPg) : MAX(KdStarGStarP3kStarP2) : MAX(KdStarGStarPgStarP3) : MAX(KdStarGStarPgStarP3P2) : MAX(KdStarGStar) : MAX(AktP3) : MAX(Pten) : MAX(AktStar) : MAX(GStarP3) : MAX(KdStarGStarP3) : MAX(KdStarGStarP3kStarP3)
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(PtP3P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1647399 markings, 3233689 edges, 329480 markings/sec, 0 secs
lola: 3097712 markings, 6143053 edges, 290063 markings/sec, 5 secs
lola: 4468877 markings, 8946419 edges, 274233 markings/sec, 10 secs
lola: 5777203 markings, 11587910 edges, 261665 markings/sec, 15 secs
lola: 7016407 markings, 14129269 edges, 247841 markings/sec, 20 secs
lola: 8366516 markings, 16867552 edges, 270022 markings/sec, 25 secs
lola: 9598575 markings, 19394598 edges, 246412 markings/sec, 30 secs
lola: 10792637 markings, 21875984 edges, 238812 markings/sec, 35 secs
lola: 11992300 markings, 24321786 edges, 239933 markings/sec, 40 secs
lola: 13179186 markings, 26747799 edges, 237377 markings/sec, 45 secs
lola: 14340491 markings, 29167897 edges, 232261 markings/sec, 50 secs
lola: 15505616 markings, 31594257 edges, 233025 markings/sec, 55 secs
lola: 16646716 markings, 33971019 edges, 228220 markings/sec, 60 secs
lola: 17840654 markings, 36442922 edges, 238788 markings/sec, 65 secs
lola: 18972496 markings, 38783274 edges, 226368 markings/sec, 70 secs
lola: 20101269 markings, 41128367 edges, 225755 markings/sec, 75 secs
lola: 21286395 markings, 43575299 edges, 237025 markings/sec, 80 secs
lola: 22474348 markings, 46050946 edges, 237591 markings/sec, 85 secs
lola: 23679306 markings, 48549863 edges, 240992 markings/sec, 90 secs
lola: 24910376 markings, 51104932 edges, 246214 markings/sec, 95 secs
lola: 26145710 markings, 53671259 edges, 247067 markings/sec, 100 secs
lola: 27396045 markings, 56267605 edges, 250067 markings/sec, 105 secs
lola: 28660720 markings, 58872870 edges, 252935 markings/sec, 110 secs
lola: 29908110 markings, 61489147 edges, 249478 markings/sec, 115 secs
lola: 31124104 markings, 64027399 edges, 243199 markings/sec, 120 secs
lola: 32339640 markings, 66557660 edges, 243107 markings/sec, 125 secs
lola: 33536857 markings, 69042143 edges, 239443 markings/sec, 130 secs
lola: 34725514 markings, 71557957 edges, 237731 markings/sec, 135 secs
lola: 35902412 markings, 74037599 edges, 235380 markings/sec, 140 secs
lola: 37046388 markings, 76440724 edges, 228795 markings/sec, 145 secs
lola: 38296059 markings, 79031269 edges, 249934 markings/sec, 150 secs
lola: 39513702 markings, 81567865 edges, 243529 markings/sec, 155 secs
lola: 40756805 markings, 84136860 edges, 248621 markings/sec, 160 secs
lola: 41914232 markings, 86556867 edges, 231485 markings/sec, 165 secs
lola: 43053141 markings, 88948478 edges, 227782 markings/sec, 170 secs
lola: 44163199 markings, 91283731 edges, 222012 markings/sec, 175 secs
lola: 45280701 markings, 93633875 edges, 223500 markings/sec, 180 secs
lola: 46437240 markings, 96036840 edges, 231308 markings/sec, 185 secs
lola: 47525175 markings, 98338282 edges, 217587 markings/sec, 190 secs
lola: 48636419 markings, 100680561 edges, 222249 markings/sec, 195 secs
lola: 49786469 markings, 103094312 edges, 230010 markings/sec, 200 secs
lola: 50945257 markings, 105534065 edges, 231758 markings/sec, 205 secs
lola: 52124758 markings, 107994211 edges, 235900 markings/sec, 210 secs
lola: 53293047 markings, 110453416 edges, 233658 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(KdStarGStarP3kStarP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1651542 markings, 3426945 edges, 330308 markings/sec, 0 secs
lola: 3204582 markings, 6710337 edges, 310608 markings/sec, 5 secs
lola: 4604345 markings, 9722227 edges, 279953 markings/sec, 10 secs
lola: 5951263 markings, 12598349 edges, 269384 markings/sec, 15 secs
lola: 7381045 markings, 15679446 edges, 285956 markings/sec, 20 secs
lola: 8815401 markings, 18779897 edges, 286871 markings/sec, 25 secs
lola: 10169465 markings, 21715966 edges, 270813 markings/sec, 30 secs
lola: 11577147 markings, 24781992 edges, 281536 markings/sec, 35 secs
lola: 12921916 markings, 27709506 edges, 268954 markings/sec, 40 secs
lola: 14241677 markings, 30611487 edges, 263952 markings/sec, 45 secs
lola: 15558763 markings, 33492954 edges, 263417 markings/sec, 50 secs
lola: 16888398 markings, 36416531 edges, 265927 markings/sec, 55 secs
lola: 18220014 markings, 39338306 edges, 266323 markings/sec, 60 secs
lola: 19504462 markings, 42162297 edges, 256890 markings/sec, 65 secs
lola: 20804364 markings, 45026033 edges, 259980 markings/sec, 70 secs
lola: 22082758 markings, 47851593 edges, 255679 markings/sec, 75 secs
lola: 23322450 markings, 50590085 edges, 247938 markings/sec, 80 secs
lola: 24576110 markings, 53372549 edges, 250732 markings/sec, 85 secs
lola: 25840889 markings, 56156484 edges, 252956 markings/sec, 90 secs
lola: 27103739 markings, 58936145 edges, 252570 markings/sec, 95 secs
lola: 28378187 markings, 61754575 edges, 254890 markings/sec, 100 secs
lola: 29691997 markings, 64663436 edges, 262762 markings/sec, 105 secs
lola: 30982119 markings, 67521216 edges, 258024 markings/sec, 110 secs
lola: 32284379 markings, 70422229 edges, 260452 markings/sec, 115 secs
lola: 33581614 markings, 73312170 edges, 259447 markings/sec, 120 secs
lola: 34888030 markings, 76221866 edges, 261283 markings/sec, 125 secs
lola: 36155707 markings, 79046427 edges, 253535 markings/sec, 130 secs
lola: 37407942 markings, 81847682 edges, 250447 markings/sec, 135 secs
lola: 38674970 markings, 84683747 edges, 253406 markings/sec, 140 secs
lola: 39913847 markings, 87439170 edges, 247775 markings/sec, 145 secs
lola: 41140544 markings, 90186653 edges, 245339 markings/sec, 150 secs
lola: 42348342 markings, 92878882 edges, 241560 markings/sec, 155 secs
lola: 43545163 markings, 95548423 edges, 239364 markings/sec, 160 secs
lola: 44786188 markings, 98314954 edges, 248205 markings/sec, 165 secs
lola: 45987576 markings, 101008329 edges, 240278 markings/sec, 170 secs
lola: 47191073 markings, 103707017 edges, 240699 markings/sec, 175 secs
lola: 48389173 markings, 106375620 edges, 239620 markings/sec, 180 secs
lola: 49586956 markings, 109051910 edges, 239557 markings/sec, 185 secs
lola: 50797077 markings, 111749714 edges, 242024 markings/sec, 190 secs
lola: 52080105 markings, 114620146 edges, 256606 markings/sec, 195 secs
lola: 53293258 markings, 117348672 edges, 242631 markings/sec, 200 secs
lola: 54539439 markings, 120152836 edges, 249236 markings/sec, 205 secs
lola: 55754750 markings, 122874842 edges, 243062 markings/sec, 210 secs
lola: 56935927 markings, 125537816 edges, 236235 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(PtP3P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1639332 markings, 3216681 edges, 327866 markings/sec, 0 secs
lola: 3170795 markings, 6294883 edges, 306293 markings/sec, 5 secs
lola: 4632205 markings, 9266828 edges, 292282 markings/sec, 10 secs
lola: 6089502 markings, 12229281 edges, 291459 markings/sec, 15 secs
lola: 7494056 markings, 15093305 edges, 280911 markings/sec, 20 secs
lola: 8880072 markings, 17916354 edges, 277203 markings/sec, 25 secs
lola: 10170827 markings, 20572848 edges, 258151 markings/sec, 30 secs
lola: 11438676 markings, 23198831 edges, 253570 markings/sec, 35 secs
lola: 12770058 markings, 25901966 edges, 266276 markings/sec, 40 secs
lola: 14026073 markings, 28502882 edges, 251203 markings/sec, 45 secs
lola: 15246814 markings, 31052020 edges, 244148 markings/sec, 50 secs
lola: 16473035 markings, 33612163 edges, 245244 markings/sec, 55 secs
lola: 17775944 markings, 36310912 edges, 260582 markings/sec, 60 secs
lola: 19068748 markings, 38989260 edges, 258561 markings/sec, 65 secs
lola: 20354559 markings, 41631106 edges, 257162 markings/sec, 70 secs
lola: 21568559 markings, 44172389 edges, 242800 markings/sec, 75 secs
lola: 22835378 markings, 46798310 edges, 253364 markings/sec, 80 secs
lola: 24111947 markings, 49451951 edges, 255314 markings/sec, 85 secs
lola: 25344661 markings, 52006462 edges, 246543 markings/sec, 90 secs
lola: 26516408 markings, 54455178 edges, 234349 markings/sec, 95 secs
lola: 27746719 markings, 56988875 edges, 246062 markings/sec, 100 secs
lola: 29050822 markings, 59677407 edges, 260821 markings/sec, 105 secs
lola: 30269938 markings, 62249561 edges, 243823 markings/sec, 110 secs
lola: 31467184 markings, 64746438 edges, 239449 markings/sec, 115 secs
lola: 32680650 markings, 67260179 edges, 242693 markings/sec, 120 secs
lola: 33894639 markings, 69802103 edges, 242798 markings/sec, 125 secs
lola: 35098075 markings, 72348355 edges, 240687 markings/sec, 130 secs
lola: 36287090 markings, 74839430 edges, 237803 markings/sec, 135 secs
lola: 37455197 markings, 77284781 edges, 233621 markings/sec, 140 secs
lola: 38634682 markings, 79740200 edges, 235897 markings/sec, 145 secs
lola: 39835288 markings, 82223163 edges, 240121 markings/sec, 150 secs
lola: 41031994 markings, 84707237 edges, 239341 markings/sec, 155 secs
lola: 42186638 markings, 87126734 edges, 230929 markings/sec, 160 secs
lola: 43342802 markings, 89551717 edges, 231233 markings/sec, 165 secs
lola: 44455741 markings, 91903211 edges, 222588 markings/sec, 170 secs
lola: 45587907 markings, 94287162 edges, 226433 markings/sec, 175 secs
lola: 46741945 markings, 96689727 edges, 230808 markings/sec, 180 secs
lola: 47839268 markings, 99005034 edges, 219465 markings/sec, 185 secs
lola: 48971054 markings, 101391113 edges, 226357 markings/sec, 190 secs
lola: 50143514 markings, 103844026 edges, 234492 markings/sec, 195 secs
lola: 51280683 markings, 106228823 edges, 227434 markings/sec, 200 secs
lola: 52422661 markings, 108610913 edges, 228396 markings/sec, 205 secs
lola: 53543431 markings, 110968263 edges, 224154 markings/sec, 210 secs
lola: 54687261 markings, 113378678 edges, 228766 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(KdStarGStarPgStarP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1824370 markings, 3243855 edges, 364874 markings/sec, 0 secs
lola: 3431927 markings, 6159961 edges, 321511 markings/sec, 5 secs
lola: 4951485 markings, 8954935 edges, 303912 markings/sec, 10 secs
lola: 6410920 markings, 11653376 edges, 291887 markings/sec, 15 secs
lola: 7838409 markings, 14305879 edges, 285498 markings/sec, 20 secs
lola: 9208079 markings, 16844899 edges, 273934 markings/sec, 25 secs
lola: 10634520 markings, 19514666 edges, 285288 markings/sec, 30 secs
lola: 12028805 markings, 22108425 edges, 278857 markings/sec, 35 secs
lola: 13390171 markings, 24671945 edges, 272273 markings/sec, 40 secs
lola: 14719093 markings, 27184560 edges, 265784 markings/sec, 45 secs
lola: 16085607 markings, 29877064 edges, 273303 markings/sec, 50 secs
lola: 17331498 markings, 32436224 edges, 249178 markings/sec, 55 secs
lola: 18514179 markings, 34816315 edges, 236536 markings/sec, 60 secs
lola: 19711588 markings, 37151191 edges, 239482 markings/sec, 65 secs
lola: 20899397 markings, 39585851 edges, 237562 markings/sec, 70 secs
lola: 22004240 markings, 41881957 edges, 220969 markings/sec, 75 secs
lola: 23149377 markings, 44244206 edges, 229027 markings/sec, 80 secs
lola: 24292130 markings, 46590241 edges, 228551 markings/sec, 85 secs
lola: 25474061 markings, 48931873 edges, 236386 markings/sec, 90 secs
lola: 26578238 markings, 51198696 edges, 220835 markings/sec, 95 secs
lola: 27617925 markings, 53436786 edges, 207937 markings/sec, 100 secs
lola: 28729075 markings, 55710794 edges, 222230 markings/sec, 105 secs
lola: 29747656 markings, 57893229 edges, 203716 markings/sec, 110 secs
lola: 30823645 markings, 60133594 edges, 215198 markings/sec, 115 secs
lola: 31885410 markings, 62383131 edges, 212353 markings/sec, 120 secs
lola: 32897838 markings, 64506246 edges, 202486 markings/sec, 125 secs
lola: 33995086 markings, 66752460 edges, 219450 markings/sec, 130 secs
lola: 35086418 markings, 69010534 edges, 218266 markings/sec, 135 secs
lola: 36151824 markings, 71287510 edges, 213081 markings/sec, 140 secs
lola: 37103577 markings, 73430702 edges, 190351 markings/sec, 145 secs
lola: 38070220 markings, 75572050 edges, 193329 markings/sec, 150 secs
lola: 39009865 markings, 77710659 edges, 187929 markings/sec, 155 secs
lola: 39950026 markings, 79834652 edges, 188032 markings/sec, 160 secs
lola: 41029614 markings, 82045797 edges, 215918 markings/sec, 165 secs
lola: 41977299 markings, 84135986 edges, 189537 markings/sec, 170 secs
lola: 42888529 markings, 86169042 edges, 182246 markings/sec, 175 secs
lola: 43838163 markings, 88219481 edges, 189927 markings/sec, 180 secs
lola: 44983064 markings, 90491690 edges, 228980 markings/sec, 185 secs
lola: 45981629 markings, 92633499 edges, 199713 markings/sec, 190 secs
lola: 46917777 markings, 94718171 edges, 187230 markings/sec, 195 secs
lola: 47934135 markings, 96850352 edges, 203272 markings/sec, 200 secs
lola: 48820197 markings, 98899811 edges, 177212 markings/sec, 205 secs
lola: 49712121 markings, 100955882 edges, 178385 markings/sec, 210 secs
lola: 50801791 markings, 103169743 edges, 217934 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(KdStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1696047 markings, 3223195 edges, 339209 markings/sec, 0 secs
lola: 3138951 markings, 6098135 edges, 288581 markings/sec, 5 secs
lola: 4443479 markings, 8756843 edges, 260906 markings/sec, 10 secs
lola: 5720306 markings, 11404675 edges, 255365 markings/sec, 15 secs
lola: 6972061 markings, 13999615 edges, 250351 markings/sec, 20 secs
lola: 8259911 markings, 16719040 edges, 257570 markings/sec, 25 secs
lola: 9540116 markings, 19401864 edges, 256041 markings/sec, 30 secs
lola: 10798076 markings, 22081035 edges, 251592 markings/sec, 35 secs
lola: 12021512 markings, 24684325 edges, 244687 markings/sec, 40 secs
lola: 13222359 markings, 27264364 edges, 240169 markings/sec, 45 secs
lola: 14399155 markings, 29829277 edges, 235359 markings/sec, 50 secs
lola: 15551957 markings, 32374260 edges, 230560 markings/sec, 55 secs
lola: 16720343 markings, 34901392 edges, 233677 markings/sec, 60 secs
lola: 17907998 markings, 37456518 edges, 237531 markings/sec, 65 secs
lola: 19129251 markings, 40056637 edges, 244251 markings/sec, 70 secs
lola: 20238224 markings, 42535452 edges, 221795 markings/sec, 75 secs
lola: 21385072 markings, 45021075 edges, 229370 markings/sec, 80 secs
lola: 22487596 markings, 47457034 edges, 220505 markings/sec, 85 secs
lola: 23561005 markings, 49809638 edges, 214682 markings/sec, 90 secs
lola: 24640372 markings, 52198110 edges, 215873 markings/sec, 95 secs
lola: 25696141 markings, 54536473 edges, 211154 markings/sec, 100 secs
lola: 26720949 markings, 56813683 edges, 204962 markings/sec, 105 secs
lola: 27759167 markings, 59092219 edges, 207644 markings/sec, 110 secs
lola: 28746143 markings, 61320035 edges, 197395 markings/sec, 115 secs
lola: 29804330 markings, 63640169 edges, 211637 markings/sec, 120 secs
lola: 30897035 markings, 66047705 edges, 218541 markings/sec, 125 secs
lola: 31907977 markings, 68346385 edges, 202188 markings/sec, 130 secs
lola: 32904372 markings, 70562378 edges, 199279 markings/sec, 135 secs
lola: 33950211 markings, 72903013 edges, 209168 markings/sec, 140 secs
lola: 34970584 markings, 75156051 edges, 204075 markings/sec, 145 secs
lola: 35962389 markings, 77380817 edges, 198361 markings/sec, 150 secs
lola: 36954158 markings, 79597022 edges, 198354 markings/sec, 155 secs
lola: 37948505 markings, 81824205 edges, 198869 markings/sec, 160 secs
lola: 38901089 markings, 84004728 edges, 190517 markings/sec, 165 secs
lola: 39923453 markings, 86275897 edges, 204473 markings/sec, 170 secs
lola: 40894106 markings, 88457877 edges, 194131 markings/sec, 175 secs
lola: 41899815 markings, 90681993 edges, 201142 markings/sec, 180 secs
lola: 42940743 markings, 93000724 edges, 208186 markings/sec, 185 secs
lola: 43973358 markings, 95325776 edges, 206523 markings/sec, 190 secs
lola: 44977285 markings, 97610529 edges, 200785 markings/sec, 195 secs
lola: 45984790 markings, 99910937 edges, 201501 markings/sec, 200 secs
lola: 46987892 markings, 102169132 edges, 200620 markings/sec, 205 secs
lola: 47952618 markings, 104411030 edges, 192945 markings/sec, 210 secs
lola: 48988210 markings, 106704435 edges, 207118 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(KdStarGStarPg)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 2049310 markings, 3754197 edges, 409862 markings/sec, 0 secs
lola: 3621254 markings, 6904344 edges, 314389 markings/sec, 5 secs
lola: 5115746 markings, 9878099 edges, 298898 markings/sec, 10 secs
lola: 6584276 markings, 12849232 edges, 293706 markings/sec, 15 secs
lola: 8045669 markings, 15835820 edges, 292279 markings/sec, 20 secs
lola: 9422714 markings, 18613313 edges, 275409 markings/sec, 25 secs
lola: 10711550 markings, 21278135 edges, 257767 markings/sec, 30 secs
lola: 12057122 markings, 23989838 edges, 269114 markings/sec, 35 secs
lola: 13314085 markings, 26613757 edges, 251393 markings/sec, 40 secs
lola: 14542678 markings, 29196343 edges, 245719 markings/sec, 45 secs
lola: 15733463 markings, 31715601 edges, 238157 markings/sec, 50 secs
lola: 16940903 markings, 34238760 edges, 241488 markings/sec, 55 secs
lola: 18136176 markings, 36745666 edges, 239055 markings/sec, 60 secs
lola: 19333451 markings, 39253355 edges, 239455 markings/sec, 65 secs
lola: 20519619 markings, 41732782 edges, 237234 markings/sec, 70 secs
lola: 21680176 markings, 44181650 edges, 232111 markings/sec, 75 secs
lola: 22804450 markings, 46573324 edges, 224855 markings/sec, 80 secs
lola: 23950578 markings, 48995335 edges, 229226 markings/sec, 85 secs
lola: 25088436 markings, 51415262 edges, 227572 markings/sec, 90 secs
lola: 26319639 markings, 53985372 edges, 246241 markings/sec, 95 secs
lola: 27552758 markings, 56588333 edges, 246624 markings/sec, 100 secs
lola: 28724532 markings, 59100352 edges, 234355 markings/sec, 105 secs
lola: 29947186 markings, 61676436 edges, 244531 markings/sec, 110 secs
lola: 31133400 markings, 64201239 edges, 237243 markings/sec, 115 secs
lola: 32280677 markings, 66679819 edges, 229455 markings/sec, 120 secs
lola: 33465144 markings, 69204538 edges, 236893 markings/sec, 125 secs
lola: 34656298 markings, 71737935 edges, 238231 markings/sec, 130 secs
lola: 35853362 markings, 74279115 edges, 239413 markings/sec, 135 secs
lola: 36969984 markings, 76700721 edges, 223324 markings/sec, 140 secs
lola: 38120692 markings, 79175669 edges, 230142 markings/sec, 145 secs
lola: 39243133 markings, 81610074 edges, 224488 markings/sec, 150 secs
lola: 40412914 markings, 84109296 edges, 233956 markings/sec, 155 secs
lola: 41545209 markings, 86552802 edges, 226459 markings/sec, 160 secs
lola: 42638976 markings, 88936238 edges, 218753 markings/sec, 165 secs
lola: 43757992 markings, 91338548 edges, 223803 markings/sec, 170 secs
lola: 44918003 markings, 93807163 edges, 232002 markings/sec, 175 secs
lola: 46036757 markings, 96213140 edges, 223751 markings/sec, 180 secs
lola: 47120894 markings, 98573390 edges, 216827 markings/sec, 185 secs
lola: 48222544 markings, 100945400 edges, 220330 markings/sec, 190 secs
lola: 49284180 markings, 103218505 edges, 212327 markings/sec, 195 secs
lola: 50297742 markings, 105427737 edges, 202712 markings/sec, 200 secs
lola: 51313292 markings, 107662060 edges, 203110 markings/sec, 205 secs
lola: 52364711 markings, 109966944 edges, 210284 markings/sec, 210 secs
lola: 53476912 markings, 112350923 edges, 222440 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(KdStarGStarP3kStarP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1862431 markings, 3313858 edges, 372486 markings/sec, 0 secs
lola: 3474448 markings, 6264206 edges, 322403 markings/sec, 5 secs
lola: 4983448 markings, 9059565 edges, 301800 markings/sec, 10 secs
lola: 6424228 markings, 11758193 edges, 288156 markings/sec, 15 secs
lola: 7848051 markings, 14444671 edges, 284765 markings/sec, 20 secs
lola: 9303531 markings, 17197992 edges, 291096 markings/sec, 25 secs
lola: 10660879 markings, 19783670 edges, 271470 markings/sec, 30 secs
lola: 12076203 markings, 22471325 edges, 283065 markings/sec, 35 secs
lola: 13468453 markings, 25132938 edges, 278450 markings/sec, 40 secs
lola: 14822335 markings, 27721557 edges, 270776 markings/sec, 45 secs
lola: 16191641 markings, 30322101 edges, 273861 markings/sec, 50 secs
lola: 17497629 markings, 32842700 edges, 261198 markings/sec, 55 secs
lola: 18824073 markings, 35380901 edges, 265289 markings/sec, 60 secs
lola: 20089790 markings, 37816559 edges, 253143 markings/sec, 65 secs
lola: 21338319 markings, 40246472 edges, 249706 markings/sec, 70 secs
lola: 22617022 markings, 42709457 edges, 255741 markings/sec, 75 secs
lola: 23831200 markings, 45073824 edges, 242836 markings/sec, 80 secs
lola: 25042552 markings, 47434233 edges, 242270 markings/sec, 85 secs
lola: 26289493 markings, 49840394 edges, 249388 markings/sec, 90 secs
lola: 27532181 markings, 52241326 edges, 248538 markings/sec, 95 secs
lola: 28744838 markings, 54605290 edges, 242531 markings/sec, 100 secs
lola: 29955065 markings, 56954647 edges, 242045 markings/sec, 105 secs
lola: 31170959 markings, 59327057 edges, 243179 markings/sec, 110 secs
lola: 32403326 markings, 61722236 edges, 246473 markings/sec, 115 secs
lola: 33592910 markings, 64057837 edges, 237917 markings/sec, 120 secs
lola: 34760705 markings, 66336156 edges, 233559 markings/sec, 125 secs
lola: 35925347 markings, 68605960 edges, 232928 markings/sec, 130 secs
lola: 37065141 markings, 70850408 edges, 227959 markings/sec, 135 secs
lola: 38211923 markings, 73096825 edges, 229356 markings/sec, 140 secs
lola: 39381717 markings, 75372037 edges, 233959 markings/sec, 145 secs
lola: 40518854 markings, 77604526 edges, 227427 markings/sec, 150 secs
lola: 41636644 markings, 79811243 edges, 223558 markings/sec, 155 secs
lola: 42755175 markings, 82023414 edges, 223706 markings/sec, 160 secs
lola: 43858151 markings, 84195369 edges, 220595 markings/sec, 165 secs
lola: 45013325 markings, 86450753 edges, 231035 markings/sec, 170 secs
lola: 46140257 markings, 88667939 edges, 225386 markings/sec, 175 secs
lola: 47283037 markings, 90898369 edges, 228556 markings/sec, 180 secs
lola: 48394927 markings, 93086608 edges, 222378 markings/sec, 185 secs
lola: 49513504 markings, 95260469 edges, 223715 markings/sec, 190 secs
lola: 50583290 markings, 97386291 edges, 213957 markings/sec, 195 secs
lola: 51622907 markings, 99432701 edges, 207923 markings/sec, 200 secs
lola: 52677679 markings, 101496141 edges, 210954 markings/sec, 205 secs
lola: 53741551 markings, 103606852 edges, 212774 markings/sec, 210 secs
lola: 54814540 markings, 105738665 edges, 214598 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(KdStarGStarPgStarP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1953574 markings, 3478587 edges, 390715 markings/sec, 0 secs
lola: 3677068 markings, 6610720 edges, 344699 markings/sec, 5 secs
lola: 5296935 markings, 9581631 edges, 323973 markings/sec, 10 secs
lola: 6856525 markings, 12484509 edges, 311918 markings/sec, 15 secs
lola: 8369627 markings, 15288942 edges, 302620 markings/sec, 20 secs
lola: 9839542 markings, 18025454 edges, 293983 markings/sec, 25 secs
lola: 11310268 markings, 20768617 edges, 294145 markings/sec, 30 secs
lola: 12733252 markings, 23427313 edges, 284597 markings/sec, 35 secs
lola: 14148156 markings, 26109486 edges, 282981 markings/sec, 40 secs
lola: 15612718 markings, 28898402 edges, 292912 markings/sec, 45 secs
lola: 16960250 markings, 31643318 edges, 269506 markings/sec, 50 secs
lola: 18250184 markings, 34248786 edges, 257987 markings/sec, 55 secs
lola: 19554584 markings, 36838246 edges, 260880 markings/sec, 60 secs
lola: 20773809 markings, 39321957 edges, 243845 markings/sec, 65 secs
lola: 21975903 markings, 41825345 edges, 240419 markings/sec, 70 secs
lola: 23154005 markings, 44254826 edges, 235620 markings/sec, 75 secs
lola: 24286421 markings, 46578819 edges, 226483 markings/sec, 80 secs
lola: 25478123 markings, 48940051 edges, 238340 markings/sec, 85 secs
lola: 26589946 markings, 51225670 edges, 222365 markings/sec, 90 secs
lola: 27638710 markings, 53487668 edges, 209753 markings/sec, 95 secs
lola: 28753771 markings, 55763649 edges, 223012 markings/sec, 100 secs
lola: 29828102 markings, 58078310 edges, 214866 markings/sec, 105 secs
lola: 30961736 markings, 60412899 edges, 226727 markings/sec, 110 secs
lola: 32068255 markings, 62770414 edges, 221304 markings/sec, 115 secs
lola: 33206015 markings, 65112012 edges, 227552 markings/sec, 120 secs
lola: 34346916 markings, 67463738 edges, 228180 markings/sec, 125 secs
lola: 35383648 markings, 69631889 edges, 207346 markings/sec, 130 secs
lola: 36446874 markings, 71927464 edges, 212645 markings/sec, 135 secs
lola: 37446985 markings, 74182674 edges, 200022 markings/sec, 140 secs
lola: 38468864 markings, 76448893 edges, 204376 markings/sec, 145 secs
lola: 39458510 markings, 78713666 edges, 197929 markings/sec, 150 secs
lola: 40513258 markings, 81003060 edges, 210950 markings/sec, 155 secs
lola: 41604854 markings, 83297371 edges, 218319 markings/sec, 160 secs
lola: 42598068 markings, 85539654 edges, 198643 markings/sec, 165 secs
lola: 43663366 markings, 87823451 edges, 213060 markings/sec, 170 secs
lola: 44838084 markings, 90201767 edges, 234944 markings/sec, 175 secs
lola: 45902965 markings, 92478211 edges, 212976 markings/sec, 180 secs
lola: 46919090 markings, 94721071 edges, 203225 markings/sec, 185 secs
lola: 48026277 markings, 97054950 edges, 221437 markings/sec, 190 secs
lola: 48968600 markings, 99246852 edges, 188465 markings/sec, 195 secs
lola: 49937196 markings, 101411337 edges, 193719 markings/sec, 200 secs
lola: 51028672 markings, 103693293 edges, 218295 markings/sec, 205 secs
lola: 52076858 markings, 105896847 edges, 209637 markings/sec, 210 secs
lola: 52977258 markings, 108024939 edges, 180080 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(KdStarGStarPgStarP3P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1716400 markings, 3461205 edges, 343280 markings/sec, 0 secs
lola: 3185383 markings, 6573765 edges, 293797 markings/sec, 5 secs
lola: 4557062 markings, 9537581 edges, 274336 markings/sec, 10 secs
lola: 5857652 markings, 12395251 edges, 260118 markings/sec, 15 secs
lola: 7117922 markings, 15178517 edges, 252054 markings/sec, 20 secs
lola: 8341307 markings, 17896454 edges, 244677 markings/sec, 25 secs
lola: 9600149 markings, 20708638 edges, 251768 markings/sec, 30 secs
lola: 10824536 markings, 23463165 edges, 244877 markings/sec, 35 secs
lola: 12031870 markings, 26178713 edges, 241467 markings/sec, 40 secs
lola: 13199644 markings, 28808494 edges, 233555 markings/sec, 45 secs
lola: 14344632 markings, 31392182 edges, 228998 markings/sec, 50 secs
lola: 15481935 markings, 33975211 edges, 227461 markings/sec, 55 secs
lola: 16609880 markings, 36530104 edges, 225589 markings/sec, 60 secs
lola: 17711369 markings, 39053516 edges, 220298 markings/sec, 65 secs
lola: 18806219 markings, 41562522 edges, 218970 markings/sec, 70 secs
lola: 19892380 markings, 44052158 edges, 217232 markings/sec, 75 secs
lola: 20978145 markings, 46543691 edges, 217153 markings/sec, 80 secs
lola: 22048933 markings, 49013529 edges, 214158 markings/sec, 85 secs
lola: 23109893 markings, 51457693 edges, 212192 markings/sec, 90 secs
lola: 24155701 markings, 53883137 edges, 209162 markings/sec, 95 secs
lola: 25198111 markings, 56302626 edges, 208482 markings/sec, 100 secs
lola: 26238164 markings, 58712217 edges, 208011 markings/sec, 105 secs
lola: 27258139 markings, 61078666 edges, 203995 markings/sec, 110 secs
lola: 28269169 markings, 63439558 edges, 202206 markings/sec, 115 secs
lola: 29276212 markings, 65794535 edges, 201409 markings/sec, 120 secs
lola: 30278393 markings, 68143413 edges, 200436 markings/sec, 125 secs
lola: 31286817 markings, 70498760 edges, 201685 markings/sec, 130 secs
lola: 32278886 markings, 72811525 edges, 198414 markings/sec, 135 secs
lola: 33272736 markings, 75137953 edges, 198770 markings/sec, 140 secs
lola: 34257391 markings, 77443979 edges, 196931 markings/sec, 145 secs
lola: 35237647 markings, 79741036 edges, 196051 markings/sec, 150 secs
lola: 36213077 markings, 82031930 edges, 195086 markings/sec, 155 secs
lola: 37186728 markings, 84328568 edges, 194730 markings/sec, 160 secs
lola: 38162694 markings, 86615757 edges, 195193 markings/sec, 165 secs
lola: 39127966 markings, 88901422 edges, 193054 markings/sec, 170 secs
lola: 40079933 markings, 91159712 edges, 190393 markings/sec, 175 secs
lola: 41023107 markings, 93393959 edges, 188635 markings/sec, 180 secs
lola: 41940416 markings, 95563580 edges, 183462 markings/sec, 185 secs
lola: 42893734 markings, 97830461 edges, 190664 markings/sec, 190 secs
lola: 43835314 markings, 100069701 edges, 188316 markings/sec, 195 secs
lola: 44786594 markings, 102324325 edges, 190256 markings/sec, 200 secs
lola: 45727423 markings, 104557376 edges, 188166 markings/sec, 205 secs
lola: 46671443 markings, 106790808 edges, 188804 markings/sec, 210 secs
lola: 47605245 markings, 108997867 edges, 186760 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(KdStarGStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1912845 markings, 3724631 edges, 382569 markings/sec, 0 secs
lola: 3641149 markings, 7239426 edges, 345661 markings/sec, 5 secs
lola: 5293142 markings, 10639954 edges, 330399 markings/sec, 10 secs
lola: 6894605 markings, 13978390 edges, 320293 markings/sec, 15 secs
lola: 8448906 markings, 17250183 edges, 310860 markings/sec, 20 secs
lola: 10002598 markings, 20520908 edges, 310738 markings/sec, 25 secs
lola: 11523562 markings, 23743291 edges, 304193 markings/sec, 30 secs
lola: 12995904 markings, 26893995 edges, 294468 markings/sec, 35 secs
lola: 14463911 markings, 30041962 edges, 293601 markings/sec, 40 secs
lola: 15937844 markings, 33170584 edges, 294787 markings/sec, 45 secs
lola: 17397301 markings, 36284592 edges, 291891 markings/sec, 50 secs
lola: 18840874 markings, 39374095 edges, 288715 markings/sec, 55 secs
lola: 20275304 markings, 42450747 edges, 286886 markings/sec, 60 secs
lola: 21678947 markings, 45496628 edges, 280729 markings/sec, 65 secs
lola: 23095952 markings, 48549849 edges, 283401 markings/sec, 70 secs
lola: 24505252 markings, 51592376 edges, 281860 markings/sec, 75 secs
lola: 25895342 markings, 54611757 edges, 278018 markings/sec, 80 secs
lola: 27283301 markings, 57628984 edges, 277592 markings/sec, 85 secs
lola: 28654518 markings, 60607630 edges, 274243 markings/sec, 90 secs
lola: 30031635 markings, 63605864 edges, 275423 markings/sec, 95 secs
lola: 31389677 markings, 66573859 edges, 271608 markings/sec, 100 secs
lola: 32739229 markings, 69525167 edges, 269910 markings/sec, 105 secs
lola: 34076035 markings, 72451674 edges, 267361 markings/sec, 110 secs
lola: 35422546 markings, 75401142 edges, 269302 markings/sec, 115 secs
lola: 36773083 markings, 78345739 edges, 270107 markings/sec, 120 secs
lola: 38116636 markings, 81283268 edges, 268711 markings/sec, 125 secs
lola: 39446017 markings, 84208592 edges, 265876 markings/sec, 130 secs
lola: 40755821 markings, 87108092 edges, 261961 markings/sec, 135 secs
lola: 42067962 markings, 89992857 edges, 262428 markings/sec, 140 secs
lola: 43372869 markings, 92871422 edges, 260981 markings/sec, 145 secs
lola: 44687949 markings, 95762981 edges, 263016 markings/sec, 150 secs
lola: 45966454 markings, 98608574 edges, 255701 markings/sec, 155 secs
lola: 47272099 markings, 101478144 edges, 261129 markings/sec, 160 secs
lola: 48558591 markings, 104331468 edges, 257298 markings/sec, 165 secs
lola: 49848983 markings, 107184109 edges, 258078 markings/sec, 170 secs
lola: 51125136 markings, 110026465 edges, 255231 markings/sec, 175 secs
lola: 52416308 markings, 112885164 edges, 258234 markings/sec, 180 secs
lola: 53697020 markings, 115726602 edges, 256142 markings/sec, 185 secs
lola: 54908507 markings, 118452010 edges, 242297 markings/sec, 190 secs
lola: 56195912 markings, 121307810 edges, 257481 markings/sec, 195 secs
lola: 57372638 markings, 123938920 edges, 235345 markings/sec, 200 secs
lola: 58500880 markings, 126444705 edges, 225648 markings/sec, 205 secs
lola: 59617864 markings, 128949188 edges, 223397 markings/sec, 210 secs
lola: 60823294 markings, 131641655 edges, 241086 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(AktP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 2037332 markings, 3522186 edges, 407466 markings/sec, 0 secs
lola: 3771624 markings, 6579236 edges, 346858 markings/sec, 5 secs
lola: 5353499 markings, 9425201 edges, 316375 markings/sec, 10 secs
lola: 6898461 markings, 12218413 edges, 308992 markings/sec, 15 secs
lola: 8469257 markings, 15051704 edges, 314159 markings/sec, 20 secs
lola: 10015682 markings, 17854505 edges, 309285 markings/sec, 25 secs
lola: 11490422 markings, 20543293 edges, 294948 markings/sec, 30 secs
lola: 12925011 markings, 23162835 edges, 286918 markings/sec, 35 secs
lola: 14348319 markings, 25763748 edges, 284662 markings/sec, 40 secs
lola: 15767321 markings, 28371822 edges, 283800 markings/sec, 45 secs
lola: 17257905 markings, 31103861 edges, 298117 markings/sec, 50 secs
lola: 18620424 markings, 33609093 edges, 272504 markings/sec, 55 secs
lola: 20080418 markings, 36279074 edges, 291999 markings/sec, 60 secs
lola: 21413998 markings, 38746003 edges, 266716 markings/sec, 65 secs
lola: 22755948 markings, 41220895 edges, 268390 markings/sec, 70 secs
lola: 24074007 markings, 43671802 edges, 263612 markings/sec, 75 secs
lola: 25475151 markings, 46250832 edges, 280229 markings/sec, 80 secs
lola: 26922795 markings, 48900266 edges, 289529 markings/sec, 85 secs
lola: 28293346 markings, 51439576 edges, 274110 markings/sec, 90 secs
lola: 29667053 markings, 53982014 edges, 274741 markings/sec, 95 secs
lola: 31048455 markings, 56522449 edges, 276280 markings/sec, 100 secs
lola: 32414520 markings, 59048013 edges, 273213 markings/sec, 105 secs
lola: 33720409 markings, 61468526 edges, 261178 markings/sec, 110 secs
lola: 35007452 markings, 63855405 edges, 257409 markings/sec, 115 secs
lola: 36328914 markings, 66306089 edges, 264292 markings/sec, 120 secs
lola: 37691838 markings, 68834984 edges, 272585 markings/sec, 125 secs
lola: 39083848 markings, 71402958 edges, 278402 markings/sec, 130 secs
lola: 40444524 markings, 73926418 edges, 272135 markings/sec, 135 secs
lola: 41783347 markings, 76402133 edges, 267765 markings/sec, 140 secs
lola: 43041135 markings, 78751840 edges, 251558 markings/sec, 145 secs
lola: 44361992 markings, 81203826 edges, 264171 markings/sec, 150 secs
lola: 45722637 markings, 83724881 edges, 272129 markings/sec, 155 secs
lola: 47065053 markings, 86247853 edges, 268483 markings/sec, 160 secs
lola: 48420384 markings, 88776590 edges, 271066 markings/sec, 165 secs
lola: 49774942 markings, 91311173 edges, 270912 markings/sec, 170 secs
lola: 51094626 markings, 93781031 edges, 263937 markings/sec, 175 secs
lola: 52436764 markings, 96280934 edges, 268428 markings/sec, 180 secs
lola: 53777434 markings, 98780918 edges, 268134 markings/sec, 185 secs
lola: 55118790 markings, 101296733 edges, 268271 markings/sec, 190 secs
lola: 56523002 markings, 103899421 edges, 280842 markings/sec, 195 secs
lola: 57880322 markings, 106432641 edges, 271464 markings/sec, 200 secs
lola: 59212688 markings, 108926777 edges, 266473 markings/sec, 205 secs
lola: 60573508 markings, 111454757 edges, 272164 markings/sec, 210 secs
lola: 61889021 markings, 113921488 edges, 263103 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(Pten)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1802187 markings, 3812642 edges, 360437 markings/sec, 0 secs
lola: 3355073 markings, 7182798 edges, 310577 markings/sec, 5 secs
lola: 4808470 markings, 10348115 edges, 290679 markings/sec, 10 secs
lola: 6251915 markings, 13534935 edges, 288689 markings/sec, 15 secs
lola: 7693528 markings, 16730437 edges, 288323 markings/sec, 20 secs
lola: 9130740 markings, 19911249 edges, 287442 markings/sec, 25 secs
lola: 10519930 markings, 23003583 edges, 277838 markings/sec, 30 secs
lola: 11865821 markings, 25998689 edges, 269178 markings/sec, 35 secs
lola: 13182803 markings, 28949480 edges, 263396 markings/sec, 40 secs
lola: 14532924 markings, 31935777 edges, 270024 markings/sec, 45 secs
lola: 15860654 markings, 34900056 edges, 265546 markings/sec, 50 secs
lola: 17146237 markings, 37787409 edges, 257117 markings/sec, 55 secs
lola: 18453078 markings, 40690291 edges, 261368 markings/sec, 60 secs
lola: 19765821 markings, 43618527 edges, 262549 markings/sec, 65 secs
lola: 21035206 markings, 46476755 edges, 253877 markings/sec, 70 secs
lola: 22278500 markings, 49287020 edges, 248659 markings/sec, 75 secs
lola: 23510809 markings, 52081084 edges, 246462 markings/sec, 80 secs
lola: 24746507 markings, 54879956 edges, 247140 markings/sec, 85 secs
lola: 25961408 markings, 57627744 edges, 242980 markings/sec, 90 secs
lola: 27221963 markings, 60438268 edges, 252111 markings/sec, 95 secs
lola: 28461053 markings, 63230354 edges, 247818 markings/sec, 100 secs
lola: 29654345 markings, 65924388 edges, 238658 markings/sec, 105 secs
lola: 30882379 markings, 68689073 edges, 245607 markings/sec, 110 secs
lola: 32069966 markings, 71401438 edges, 237517 markings/sec, 115 secs
lola: 33279779 markings, 74137686 edges, 241963 markings/sec, 120 secs
lola: 34438750 markings, 76800525 edges, 231794 markings/sec, 125 secs
lola: 35600245 markings, 79457233 edges, 232299 markings/sec, 130 secs
lola: 36790520 markings, 82174925 edges, 238055 markings/sec, 135 secs
lola: 37931184 markings, 84808037 edges, 228133 markings/sec, 140 secs
lola: 39113999 markings, 87505866 edges, 236563 markings/sec, 145 secs
lola: 40311800 markings, 90224852 edges, 239560 markings/sec, 150 secs
lola: 41463415 markings, 92874677 edges, 230323 markings/sec, 155 secs
lola: 42620769 markings, 95527587 edges, 231471 markings/sec, 160 secs
lola: 43820836 markings, 98268296 edges, 240013 markings/sec, 165 secs
lola: 45021440 markings, 100999880 edges, 240121 markings/sec, 170 secs
lola: 46182515 markings, 103658247 edges, 232215 markings/sec, 175 secs
lola: 47293184 markings, 106208948 edges, 222134 markings/sec, 180 secs
lola: 48373010 markings, 108663871 edges, 215965 markings/sec, 185 secs
lola: 49516884 markings, 111299949 edges, 228775 markings/sec, 190 secs
lola: 50599036 markings, 113792743 edges, 216430 markings/sec, 195 secs
lola: 51701201 markings, 116301858 edges, 220433 markings/sec, 200 secs
lola: 52809415 markings, 118841206 edges, 221643 markings/sec, 205 secs
lola: 53860698 markings, 121266182 edges, 210257 markings/sec, 210 secs
lola: 54983571 markings, 123806246 edges, 224575 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(AktStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 2381571 markings, 3990568 edges, 476314 markings/sec, 0 secs
lola: 4400913 markings, 7471845 edges, 403868 markings/sec, 5 secs
lola: 6374275 markings, 10891426 edges, 394672 markings/sec, 10 secs
lola: 8249383 markings, 14190703 edges, 375022 markings/sec, 15 secs
lola: 9971465 markings, 17251680 edges, 344416 markings/sec, 20 secs
lola: 11709857 markings, 20329214 edges, 347678 markings/sec, 25 secs
lola: 13394210 markings, 23328567 edges, 336871 markings/sec, 30 secs
lola: 15014299 markings, 26233982 edges, 324018 markings/sec, 35 secs
lola: 16677727 markings, 29208168 edges, 332686 markings/sec, 40 secs
lola: 18409851 markings, 32300418 edges, 346425 markings/sec, 45 secs
lola: 20077860 markings, 35315791 edges, 333602 markings/sec, 50 secs
lola: 21733713 markings, 38309446 edges, 331171 markings/sec, 55 secs
lola: 23383675 markings, 41285302 edges, 329992 markings/sec, 60 secs
lola: 24997285 markings, 44206398 edges, 322722 markings/sec, 65 secs
lola: 26614486 markings, 47136818 edges, 323440 markings/sec, 70 secs
lola: 28196021 markings, 50013630 edges, 316307 markings/sec, 75 secs
lola: 29826374 markings, 52956952 edges, 326071 markings/sec, 80 secs
lola: 31388151 markings, 55805210 edges, 312355 markings/sec, 85 secs
lola: 32954561 markings, 58654765 edges, 313282 markings/sec, 90 secs
lola: 34505563 markings, 61481944 edges, 310200 markings/sec, 95 secs
lola: 36030693 markings, 64275954 edges, 305026 markings/sec, 100 secs
lola: 37564072 markings, 67078291 edges, 306676 markings/sec, 105 secs
lola: 39091127 markings, 69875317 edges, 305411 markings/sec, 110 secs
lola: 40673675 markings, 72763495 edges, 316510 markings/sec, 115 secs
lola: 42245181 markings, 75633969 edges, 314301 markings/sec, 120 secs
lola: 43794724 markings, 78468057 edges, 309909 markings/sec, 125 secs
lola: 45348711 markings, 81308963 edges, 310797 markings/sec, 130 secs
lola: 46885872 markings, 84130162 edges, 307432 markings/sec, 135 secs
lola: 48385245 markings, 86890471 edges, 299875 markings/sec, 140 secs
lola: 49895633 markings, 89668039 edges, 302078 markings/sec, 145 secs
lola: 51419974 markings, 92465793 edges, 304868 markings/sec, 150 secs
lola: 52926772 markings, 95247355 edges, 301360 markings/sec, 155 secs
lola: 54453626 markings, 98038930 edges, 305371 markings/sec, 160 secs
lola: 55988029 markings, 100848383 edges, 306881 markings/sec, 165 secs
lola: 57448244 markings, 103563311 edges, 292043 markings/sec, 170 secs
lola: 58932401 markings, 106305622 edges, 296831 markings/sec, 175 secs
lola: 60421645 markings, 109059033 edges, 297849 markings/sec, 180 secs
lola: 61878513 markings, 111752045 edges, 291374 markings/sec, 185 secs
lola: 63316400 markings, 114407690 edges, 287577 markings/sec, 190 secs
lola: 64751744 markings, 117056863 edges, 287069 markings/sec, 195 secs
lola: 66173458 markings, 119688908 edges, 284343 markings/sec, 200 secs
lola: 67547447 markings, 122234070 edges, 274798 markings/sec, 205 secs
lola: 68940165 markings, 124793539 edges, 278544 markings/sec, 210 secs
lola: 70361506 markings, 127413260 edges, 284268 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(GStarP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1749609 markings, 3915537 edges, 349922 markings/sec, 0 secs
lola: 3343359 markings, 7575421 edges, 318750 markings/sec, 5 secs
lola: 4888624 markings, 11157839 edges, 309053 markings/sec, 10 secs
lola: 6378994 markings, 14631923 edges, 298074 markings/sec, 15 secs
lola: 7806420 markings, 17978865 edges, 285485 markings/sec, 20 secs
lola: 9237325 markings, 21355843 edges, 286181 markings/sec, 25 secs
lola: 10648035 markings, 24678150 edges, 282142 markings/sec, 30 secs
lola: 12019675 markings, 27920817 edges, 274328 markings/sec, 35 secs
lola: 13360564 markings, 31112800 edges, 268178 markings/sec, 40 secs
lola: 14709043 markings, 34294652 edges, 269696 markings/sec, 45 secs
lola: 16024274 markings, 37417286 edges, 263046 markings/sec, 50 secs
lola: 17374696 markings, 40632955 edges, 270084 markings/sec, 55 secs
lola: 18747623 markings, 43896528 edges, 274585 markings/sec, 60 secs
lola: 20104430 markings, 47152672 edges, 271361 markings/sec, 65 secs
lola: 21478198 markings, 50404700 edges, 274754 markings/sec, 70 secs
lola: 22758261 markings, 53458375 edges, 256013 markings/sec, 75 secs
lola: 23944371 markings, 56312158 edges, 237222 markings/sec, 80 secs
lola: 25210751 markings, 59339715 edges, 253276 markings/sec, 85 secs
lola: 26535787 markings, 62508787 edges, 265007 markings/sec, 90 secs
lola: 27732809 markings, 65390364 edges, 239404 markings/sec, 95 secs
lola: 28968949 markings, 68338792 edges, 247228 markings/sec, 100 secs
lola: 30163627 markings, 71218414 edges, 238936 markings/sec, 105 secs
lola: 31403349 markings, 74208340 edges, 247944 markings/sec, 110 secs
lola: 32621198 markings, 77153812 edges, 243570 markings/sec, 115 secs
lola: 33861074 markings, 80139931 edges, 247975 markings/sec, 120 secs
lola: 35156656 markings, 83252736 edges, 259116 markings/sec, 125 secs
lola: 36472664 markings, 86422498 edges, 263202 markings/sec, 130 secs
lola: 37789566 markings, 89565956 edges, 263380 markings/sec, 135 secs
lola: 38996263 markings, 92464554 edges, 241339 markings/sec, 140 secs
lola: 40065821 markings, 95040631 edges, 213912 markings/sec, 145 secs
lola: 41163957 markings, 97702520 edges, 219627 markings/sec, 150 secs
lola: 42405579 markings, 100712781 edges, 248324 markings/sec, 155 secs
lola: 43632446 markings, 103695920 edges, 245373 markings/sec, 160 secs
lola: 44884916 markings, 106733850 edges, 250494 markings/sec, 165 secs
lola: 46122290 markings, 109744402 edges, 247475 markings/sec, 170 secs
lola: 47364917 markings, 112765287 edges, 248525 markings/sec, 175 secs
lola: 48583802 markings, 115740039 edges, 243777 markings/sec, 180 secs
lola: 49814556 markings, 118728527 edges, 246151 markings/sec, 185 secs
lola: 51048787 markings, 121711477 edges, 246846 markings/sec, 190 secs
lola: 52301710 markings, 124733007 edges, 250585 markings/sec, 195 secs
lola: 53555863 markings, 127758084 edges, 250831 markings/sec, 200 secs
lola: 54803770 markings, 130760589 edges, 249581 markings/sec, 205 secs
lola: 56047689 markings, 133771139 edges, 248784 markings/sec, 210 secs
lola: 57303241 markings, 136803377 edges, 251110 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 2003683 markings, 3929774 edges, 400737 markings/sec, 0 secs
lola: 3746504 markings, 7531246 edges, 348564 markings/sec, 5 secs
lola: 5374013 markings, 10943387 edges, 325502 markings/sec, 10 secs
lola: 6980577 markings, 14328194 edges, 321313 markings/sec, 15 secs
lola: 8520761 markings, 17620430 edges, 308037 markings/sec, 20 secs
lola: 10048223 markings, 20882787 edges, 305492 markings/sec, 25 secs
lola: 11554725 markings, 24103395 edges, 301300 markings/sec, 30 secs
lola: 13030955 markings, 27289935 edges, 295246 markings/sec, 35 secs
lola: 14481252 markings, 30433446 edges, 290059 markings/sec, 40 secs
lola: 15922851 markings, 33557378 edges, 288320 markings/sec, 45 secs
lola: 17325517 markings, 36622351 edges, 280533 markings/sec, 50 secs
lola: 18746708 markings, 39708430 edges, 284238 markings/sec, 55 secs
lola: 20129745 markings, 42734017 edges, 276607 markings/sec, 60 secs
lola: 21461448 markings, 45662537 edges, 266341 markings/sec, 65 secs
lola: 22631055 markings, 48221285 edges, 233921 markings/sec, 70 secs
lola: 23784830 markings, 50757521 edges, 230755 markings/sec, 75 secs
lola: 24912710 markings, 53246787 edges, 225576 markings/sec, 80 secs
lola: 26068542 markings, 55753817 edges, 231166 markings/sec, 85 secs
lola: 27237078 markings, 58310878 edges, 233707 markings/sec, 90 secs
lola: 28545172 markings, 61222728 edges, 261619 markings/sec, 95 secs
lola: 29861366 markings, 64147202 edges, 263239 markings/sec, 100 secs
lola: 31190976 markings, 67080337 edges, 265922 markings/sec, 105 secs
lola: 32508268 markings, 69993049 edges, 263458 markings/sec, 110 secs
lola: 33729516 markings, 72688900 edges, 244250 markings/sec, 115 secs
lola: 35043971 markings, 75595735 edges, 262891 markings/sec, 120 secs
lola: 36315863 markings, 78400669 edges, 254378 markings/sec, 125 secs
lola: 37535998 markings, 81104652 edges, 244027 markings/sec, 130 secs
lola: 38764786 markings, 83831999 edges, 245758 markings/sec, 135 secs
lola: 40026179 markings, 86643592 edges, 252279 markings/sec, 140 secs
lola: 41265065 markings, 89408869 edges, 247777 markings/sec, 145 secs
lola: 42476575 markings, 92118971 edges, 242302 markings/sec, 150 secs
lola: 43716772 markings, 94868797 edges, 248039 markings/sec, 155 secs
lola: 44924308 markings, 97557961 edges, 241507 markings/sec, 160 secs
lola: 46117692 markings, 100222248 edges, 238677 markings/sec, 165 secs
lola: 47346717 markings, 102959679 edges, 245805 markings/sec, 170 secs
lola: 48585550 markings, 105727069 edges, 247767 markings/sec, 175 secs
lola: 49828051 markings, 108503482 edges, 248500 markings/sec, 180 secs
lola: 51093137 markings, 111325539 edges, 253017 markings/sec, 185 secs
lola: 52322273 markings, 114069495 edges, 245827 markings/sec, 190 secs
lola: 53548731 markings, 116828323 edges, 245292 markings/sec, 195 secs
lola: 54769427 markings, 119581326 edges, 244139 markings/sec, 200 secs
lola: 55994974 markings, 122335476 edges, 245109 markings/sec, 205 secs
lola: 57227322 markings, 125081264 edges, 246470 markings/sec, 210 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(KdStarGStarP3kStarP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1582400 markings, 3281054 edges, 316480 markings/sec, 0 secs
lola: 3082846 markings, 6453227 edges, 300089 markings/sec, 5 secs
lola: 4514595 markings, 9528906 edges, 286350 markings/sec, 10 secs
lola: 5960622 markings, 12616935 edges, 289205 markings/sec, 15 secs
lola: 7423313 markings, 15772760 edges, 292538 markings/sec, 20 secs
lola: 8824135 markings, 18799443 edges, 280164 markings/sec, 25 secs
lola: 10209101 markings, 21802080 edges, 276993 markings/sec, 30 secs
lola: 11585899 markings, 24800796 edges, 275360 markings/sec, 35 secs
lola: 12983526 markings, 27842572 edges, 279525 markings/sec, 40 secs
lola: 14409596 markings, 30977106 edges, 285214 markings/sec, 45 secs
lola: 15835333 markings, 34100060 edges, 285147 markings/sec, 50 secs
lola: 17220555 markings, 37147373 edges, 277044 markings/sec, 55 secs
lola: 18628843 markings, 40233937 edges, 281658 markings/sec, 60 secs
lola: 19985599 markings, 43224338 edges, 271351 markings/sec, 65 secs
lola: 21392084 markings, 46320344 edges, 281297 markings/sec, 70 secs
lola: 22758796 markings, 49346747 edges, 273342 markings/sec, 75 secs
lola: 24098802 markings, 52313533 edges, 268001 markings/sec, 80 secs
lola: 25382130 markings, 55144441 edges, 256666 markings/sec, 85 secs
lola: 26692471 markings, 58030612 edges, 262068 markings/sec, 90 secs
lola: 27985671 markings, 60882002 edges, 258640 markings/sec, 95 secs
lola: 29268550 markings, 63726892 edges, 256576 markings/sec, 100 secs
lola: 30568607 markings, 66606286 edges, 260011 markings/sec, 105 secs
lola: 31845889 markings, 69444839 edges, 255456 markings/sec, 110 secs
lola: 33135337 markings, 72316158 edges, 257890 markings/sec, 115 secs
lola: 34374236 markings, 75079449 edges, 247780 markings/sec, 120 secs
lola: 35623533 markings, 77859160 edges, 249859 markings/sec, 125 secs
lola: 36859757 markings, 80617607 edges, 247245 markings/sec, 130 secs
lola: 38077551 markings, 83348504 edges, 243559 markings/sec, 135 secs
lola: 39352792 markings, 86195716 edges, 255048 markings/sec, 140 secs
lola: 40579402 markings, 88935060 edges, 245322 markings/sec, 145 secs
lola: 41704836 markings, 91441660 edges, 225087 markings/sec, 150 secs
lola: 42815590 markings, 93916690 edges, 222151 markings/sec, 155 secs
lola: 43954274 markings, 96463506 edges, 227737 markings/sec, 160 secs
lola: 45153484 markings, 99131573 edges, 239842 markings/sec, 165 secs
lola: 46254393 markings, 101602598 edges, 220182 markings/sec, 170 secs
lola: 47463792 markings, 104315234 edges, 241880 markings/sec, 175 secs
lola: 48710745 markings, 107092203 edges, 249391 markings/sec, 180 secs
lola: 49952877 markings, 109863827 edges, 248426 markings/sec, 185 secs
lola: 51132226 markings, 112503313 edges, 235870 markings/sec, 190 secs
lola: 52415086 markings, 115377343 edges, 256572 markings/sec, 195 secs
lola: 53563383 markings, 117956109 edges, 229659 markings/sec, 200 secs
lola: 54820182 markings, 120775542 edges, 251360 markings/sec, 205 secs
lola: 56065156 markings, 123573981 edges, 248995 markings/sec, 210 secs
lola: 57320211 markings, 126405384 edges, 251011 markings/sec, 215 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 Angiogenesis-PT-25-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-25-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496336846512
--------------------
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_Angiogenesis-PT-25"
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_Angiogenesis-PT-25.tgz
mv S_Angiogenesis-PT-25 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_Angiogenesis-PT-25, 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 r088-csrt-149441074100137"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;