fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r088-csrt-149441074100137
Last Updated
June 27, 2017

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 '' 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 ;