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)
.......................................................................................
/home/mcc/execution
total 212K
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 109 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 347 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 33K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Angiogenesis-PT-20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-qhx1-152646241100030
=====================================================================

--------------------
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-20-UpperBounds-00
FORMULA_NAME Angiogenesis-PT-20-UpperBounds-01
FORMULA_NAME Angiogenesis-PT-20-UpperBounds-02
FORMULA_NAME Angiogenesis-PT-20-UpperBounds-03
FORMULA_NAME Angiogenesis-PT-20-UpperBounds-04
FORMULA_NAME Angiogenesis-PT-20-UpperBounds-05
FORMULA_NAME Angiogenesis-PT-20-UpperBounds-06
FORMULA_NAME Angiogenesis-PT-20-UpperBounds-07
FORMULA_NAME Angiogenesis-PT-20-UpperBounds-08
FORMULA_NAME Angiogenesis-PT-20-UpperBounds-09
FORMULA_NAME Angiogenesis-PT-20-UpperBounds-10
FORMULA_NAME Angiogenesis-PT-20-UpperBounds-11
FORMULA_NAME Angiogenesis-PT-20-UpperBounds-12
FORMULA_NAME Angiogenesis-PT-20-UpperBounds-13
FORMULA_NAME Angiogenesis-PT-20-UpperBounds-14
FORMULA_NAME Angiogenesis-PT-20-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1526628455662

info: Time: 3600 - MCC
===========================================================================================
prep: translating Angiogenesis-PT-20 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Angiogenesis-PT-20 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Angiogenesis-PT-20 @ 3569 seconds
lola: LoLA will run for 3569 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: Size of bit vector: 1248
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-20-UpperBounds.task
lola: MAX(KdStarGStarPgStarP3P2) : MAX(GP3) : MAX(PtP2) : MAX(KdStarGStarP3) : MAX(KdStarGStarPgP3) : MAX(KdStarGStarP3kStar) : MAX(Gab1) : MAX(Pg) : MAX(AktStar) : MAX(KdStarGStarPg) : MAX(Pip3) : MAX(PtP2) : MAX(KdStarGStarP3kStar) : MAX(GStarP3kP3) : MAX(PtP3) : MAX(KdStarGStarP3kStarP3P2)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPgStarP3P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPgStarP3P2)
lola: processed formula length: 26
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 10
lola: 1169684 markings, 2346772 edges, 233937 markings/sec, 0 secs
lola: 2123199 markings, 4354215 edges, 190703 markings/sec, 5 secs
lola: 3070249 markings, 6388503 edges, 189410 markings/sec, 10 secs
lola: 3995782 markings, 8396045 edges, 185107 markings/sec, 15 secs
lola: 4892881 markings, 10375426 edges, 179420 markings/sec, 20 secs
lola: 5775874 markings, 12333432 edges, 176599 markings/sec, 25 secs
lola: 6634800 markings, 14247176 edges, 171785 markings/sec, 30 secs
lola: 7485207 markings, 16148457 edges, 170081 markings/sec, 35 secs
lola: 8327533 markings, 18029279 edges, 168465 markings/sec, 40 secs
lola: 9159386 markings, 19914859 edges, 166371 markings/sec, 45 secs
lola: 9999189 markings, 21803226 edges, 167961 markings/sec, 50 secs
lola: 10827208 markings, 23679998 edges, 165604 markings/sec, 55 secs
lola: 11631896 markings, 25507593 edges, 160938 markings/sec, 60 secs
lola: 12434660 markings, 27332114 edges, 160553 markings/sec, 65 secs
lola: 13232379 markings, 29147072 edges, 159544 markings/sec, 70 secs
lola: 14016780 markings, 30946117 edges, 156880 markings/sec, 75 secs
lola: 14797662 markings, 32730312 edges, 156176 markings/sec, 80 secs
lola: 15576224 markings, 34512600 edges, 155712 markings/sec, 85 secs
lola: 16342543 markings, 36284288 edges, 153264 markings/sec, 90 secs
lola: 17106503 markings, 38046940 edges, 152792 markings/sec, 95 secs
lola: 17863867 markings, 39793008 edges, 151473 markings/sec, 100 secs
lola: 18615754 markings, 41529289 edges, 150377 markings/sec, 105 secs
lola: 19361413 markings, 43264060 edges, 149132 markings/sec, 110 secs
lola: 20104209 markings, 44990875 edges, 148559 markings/sec, 115 secs
lola: 20823412 markings, 46673337 edges, 143841 markings/sec, 120 secs
lola: 21573829 markings, 48417201 edges, 150083 markings/sec, 125 secs
lola: 22302555 markings, 50129326 edges, 145745 markings/sec, 130 secs
lola: 23026497 markings, 51822658 edges, 144788 markings/sec, 135 secs
lola: 23753566 markings, 53517839 edges, 145414 markings/sec, 140 secs
lola: 24477274 markings, 55206787 edges, 144742 markings/sec, 145 secs
lola: 25203400 markings, 56913183 edges, 145225 markings/sec, 150 secs
lola: 25933443 markings, 58627961 edges, 146009 markings/sec, 155 secs
lola: 26637277 markings, 60291343 edges, 140767 markings/sec, 160 secs
lola: 27351737 markings, 61975350 edges, 142892 markings/sec, 165 secs
lola: 28061559 markings, 63645143 edges, 141964 markings/sec, 170 secs
lola: 28787072 markings, 65354454 edges, 145103 markings/sec, 175 secs
lola: 29516972 markings, 67062030 edges, 145980 markings/sec, 180 secs
lola: 30245631 markings, 68782518 edges, 145732 markings/sec, 185 secs
lola: 30957291 markings, 70464315 edges, 142332 markings/sec, 190 secs
lola: 31667904 markings, 72152146 edges, 142123 markings/sec, 195 secs
lola: 32379058 markings, 73840282 edges, 142231 markings/sec, 200 secs
lola: 33083570 markings, 75510360 edges, 140902 markings/sec, 205 secs
lola: 33792265 markings, 77189070 edges, 141739 markings/sec, 210 secs
lola: 34500519 markings, 78869582 edges, 141651 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3610812 KB
lola: time consumption: 224 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3624616 KB
lola: time consumption: 226 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GP3)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: 1280110 markings, 2235082 edges, 256022 markings/sec, 0 secs
lola: 2465443 markings, 4344093 edges, 237067 markings/sec, 5 secs
lola: 3612283 markings, 6405703 edges, 229368 markings/sec, 10 secs
lola: 4723882 markings, 8407810 edges, 222320 markings/sec, 15 secs
lola: 5827217 markings, 10405196 edges, 220667 markings/sec, 20 secs
lola: 6934126 markings, 12406798 edges, 221382 markings/sec, 25 secs
lola: 8026497 markings, 14388770 edges, 218474 markings/sec, 30 secs
lola: 9119321 markings, 16372341 edges, 218565 markings/sec, 35 secs
lola: 10199751 markings, 18338522 edges, 216086 markings/sec, 40 secs
lola: 11266451 markings, 20270926 edges, 213340 markings/sec, 45 secs
lola: 12327867 markings, 22207864 edges, 212283 markings/sec, 50 secs
lola: 13392424 markings, 24144519 edges, 212911 markings/sec, 55 secs
lola: 14445476 markings, 26066098 edges, 210610 markings/sec, 60 secs
lola: 15493635 markings, 27977644 edges, 209632 markings/sec, 65 secs
lola: 16536035 markings, 29884066 edges, 208480 markings/sec, 70 secs
lola: 17561883 markings, 31777072 edges, 205170 markings/sec, 75 secs
lola: 18593111 markings, 33668144 edges, 206246 markings/sec, 80 secs
lola: 19632020 markings, 35575031 edges, 207782 markings/sec, 85 secs
lola: 20663760 markings, 37468172 edges, 206348 markings/sec, 90 secs
lola: 21684857 markings, 39342668 edges, 204219 markings/sec, 95 secs
lola: 22674311 markings, 41177445 edges, 197891 markings/sec, 100 secs
lola: 23701572 markings, 43061566 edges, 205452 markings/sec, 105 secs
lola: 24680569 markings, 44879745 edges, 195799 markings/sec, 110 secs
lola: 25688470 markings, 46743297 edges, 201580 markings/sec, 115 secs
lola: 26691912 markings, 48601323 edges, 200688 markings/sec, 120 secs
lola: 27672883 markings, 50424530 edges, 196194 markings/sec, 125 secs
lola: 28661133 markings, 52256744 edges, 197650 markings/sec, 130 secs
lola: 29653083 markings, 54099081 edges, 198390 markings/sec, 135 secs
lola: 30644622 markings, 55937046 edges, 198308 markings/sec, 140 secs
lola: 31632281 markings, 57764726 edges, 197532 markings/sec, 145 secs
lola: 32618657 markings, 59587486 edges, 197275 markings/sec, 150 secs
lola: 33594744 markings, 61409735 edges, 195217 markings/sec, 155 secs
lola: 34581687 markings, 63233839 edges, 197389 markings/sec, 160 secs
lola: 35556272 markings, 65052457 edges, 194917 markings/sec, 165 secs
lola: 36535318 markings, 66872536 edges, 195809 markings/sec, 170 secs
lola: 37519031 markings, 68691378 edges, 196743 markings/sec, 175 secs
lola: 38506113 markings, 70507104 edges, 197416 markings/sec, 180 secs
lola: 39470127 markings, 72298501 edges, 192803 markings/sec, 185 secs
lola: 40426620 markings, 74086322 edges, 191299 markings/sec, 190 secs
lola: 41395360 markings, 75883119 edges, 193748 markings/sec, 195 secs
lola: 42356622 markings, 77671515 edges, 192252 markings/sec, 200 secs
lola: 43318144 markings, 79462935 edges, 192304 markings/sec, 205 secs
lola: 44284684 markings, 81259264 edges, 193308 markings/sec, 210 secs
lola: 45249313 markings, 83048363 edges, 192926 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4307888 KB
lola: time consumption: 466 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4344856 KB
lola: time consumption: 470 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(PtP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PtP2)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 21 markings, 20 edges
lola: ========================================

FORMULA Angiogenesis-PT-20-UpperBounds-2 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarP3)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: 1182893 markings, 2314281 edges, 236579 markings/sec, 0 secs
lola: 2250556 markings, 4514959 edges, 213533 markings/sec, 5 secs
lola: 3284909 markings, 6675755 edges, 206871 markings/sec, 10 secs
lola: 4300442 markings, 8816640 edges, 203107 markings/sec, 15 secs
lola: 5290382 markings, 10932985 edges, 197988 markings/sec, 20 secs
lola: 6269695 markings, 13020928 edges, 195863 markings/sec, 25 secs
lola: 7223728 markings, 15076443 edges, 190807 markings/sec, 30 secs
lola: 8177431 markings, 17133598 edges, 190741 markings/sec, 35 secs
lola: 9124701 markings, 19186090 edges, 189454 markings/sec, 40 secs
lola: 10063328 markings, 21224241 edges, 187725 markings/sec, 45 secs
lola: 11004901 markings, 23265406 edges, 188315 markings/sec, 50 secs
lola: 11934309 markings, 25277094 edges, 185882 markings/sec, 55 secs
lola: 12850569 markings, 27276405 edges, 183252 markings/sec, 60 secs
lola: 13763415 markings, 29263490 edges, 182569 markings/sec, 65 secs
lola: 14668374 markings, 31245635 edges, 180992 markings/sec, 70 secs
lola: 15571547 markings, 33218904 edges, 180635 markings/sec, 75 secs
lola: 16470490 markings, 35198715 edges, 179789 markings/sec, 80 secs
lola: 17377309 markings, 37181628 edges, 181364 markings/sec, 85 secs
lola: 18271464 markings, 39153503 edges, 178831 markings/sec, 90 secs
lola: 19160972 markings, 41117671 edges, 177902 markings/sec, 95 secs
lola: 20051383 markings, 43078393 edges, 178082 markings/sec, 100 secs
lola: 20925918 markings, 45020830 edges, 174907 markings/sec, 105 secs
lola: 21807307 markings, 46968301 edges, 176278 markings/sec, 110 secs
lola: 22678854 markings, 48921300 edges, 174309 markings/sec, 115 secs
lola: 23554326 markings, 50866052 edges, 175094 markings/sec, 120 secs
lola: 24426013 markings, 52801325 edges, 174337 markings/sec, 125 secs
lola: 25305269 markings, 54738416 edges, 175851 markings/sec, 130 secs
lola: 26165556 markings, 56670338 edges, 172057 markings/sec, 135 secs
lola: 27031576 markings, 58600634 edges, 173204 markings/sec, 140 secs
lola: 27904145 markings, 60526323 edges, 174514 markings/sec, 145 secs
lola: 28761086 markings, 62448770 edges, 171388 markings/sec, 150 secs
lola: 29632734 markings, 64376868 edges, 174330 markings/sec, 155 secs
lola: 30490694 markings, 66292054 edges, 171592 markings/sec, 160 secs
lola: 31338415 markings, 68214517 edges, 169544 markings/sec, 165 secs
lola: 32190062 markings, 70129172 edges, 170329 markings/sec, 170 secs
lola: 33031540 markings, 72045516 edges, 168296 markings/sec, 175 secs
lola: 33882331 markings, 73938918 edges, 170158 markings/sec, 180 secs
lola: 34735731 markings, 75844426 edges, 170680 markings/sec, 185 secs
lola: 35589305 markings, 77756606 edges, 170715 markings/sec, 190 secs
lola: 36432498 markings, 79650735 edges, 168639 markings/sec, 195 secs
lola: 37282159 markings, 81542773 edges, 169932 markings/sec, 200 secs
lola: 38121480 markings, 83431331 edges, 167864 markings/sec, 205 secs
lola: 38948603 markings, 85308474 edges, 165425 markings/sec, 210 secs
lola: 39782211 markings, 87181200 edges, 166722 markings/sec, 215 secs
lola: 40608391 markings, 89060185 edges, 165236 markings/sec, 220 secs
lola: 41427862 markings, 90923307 edges, 163894 markings/sec, 225 secs
lola: 42257426 markings, 92788557 edges, 165913 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 20 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4578536 KB
lola: time consumption: 726 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown 20 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4592260 KB
lola: time consumption: 728 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPgP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPgP3)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: 1223384 markings, 2319680 edges, 244677 markings/sec, 0 secs
lola: 2343452 markings, 4461403 edges, 224014 markings/sec, 5 secs
lola: 3439220 markings, 6583520 edges, 219154 markings/sec, 10 secs
lola: 4538437 markings, 8686851 edges, 219843 markings/sec, 15 secs
lola: 5625910 markings, 10775527 edges, 217495 markings/sec, 20 secs
lola: 6698239 markings, 12862271 edges, 214466 markings/sec, 25 secs
lola: 7764575 markings, 14939857 edges, 213267 markings/sec, 30 secs
lola: 8840879 markings, 17011171 edges, 215261 markings/sec, 35 secs
lola: 9896642 markings, 19053535 edges, 211153 markings/sec, 40 secs
lola: 10942514 markings, 21089802 edges, 209174 markings/sec, 45 secs
lola: 12025809 markings, 23132735 edges, 216659 markings/sec, 50 secs
lola: 13070565 markings, 25160251 edges, 208951 markings/sec, 55 secs
lola: 14126080 markings, 27198696 edges, 211103 markings/sec, 60 secs
lola: 15158243 markings, 29198289 edges, 206433 markings/sec, 65 secs
lola: 16212726 markings, 31222127 edges, 210897 markings/sec, 70 secs
lola: 17255450 markings, 33250014 edges, 208545 markings/sec, 75 secs
lola: 18314305 markings, 35271267 edges, 211771 markings/sec, 80 secs
lola: 19346100 markings, 37273300 edges, 206359 markings/sec, 85 secs
lola: 20401700 markings, 39276945 edges, 211120 markings/sec, 90 secs
lola: 21443874 markings, 41296571 edges, 208435 markings/sec, 95 secs
lola: 22498808 markings, 43300983 edges, 210987 markings/sec, 100 secs
lola: 23512340 markings, 45287152 edges, 202706 markings/sec, 105 secs
lola: 24552006 markings, 47298541 edges, 207933 markings/sec, 110 secs
lola: 25590325 markings, 49316828 edges, 207664 markings/sec, 115 secs
lola: 26588846 markings, 51291649 edges, 199704 markings/sec, 120 secs
lola: 27633763 markings, 53302678 edges, 208983 markings/sec, 125 secs
lola: 28643374 markings, 55284698 edges, 201922 markings/sec, 130 secs
lola: 29674246 markings, 57279166 edges, 206174 markings/sec, 135 secs
lola: 30673068 markings, 59256575 edges, 199764 markings/sec, 140 secs
lola: 31713844 markings, 61256956 edges, 208155 markings/sec, 145 secs
lola: 32741085 markings, 63246315 edges, 205448 markings/sec, 150 secs
lola: 33784312 markings, 65234377 edges, 208645 markings/sec, 155 secs
lola: 34808446 markings, 67223346 edges, 204827 markings/sec, 160 secs
lola: 35818230 markings, 69193464 edges, 201957 markings/sec, 165 secs
lola: 36844718 markings, 71169328 edges, 205298 markings/sec, 170 secs
lola: 37861670 markings, 73137587 edges, 203390 markings/sec, 175 secs
lola: 38877257 markings, 75121868 edges, 203117 markings/sec, 180 secs
lola: 39882728 markings, 77086031 edges, 201094 markings/sec, 185 secs
lola: 40882055 markings, 79060538 edges, 199865 markings/sec, 190 secs
lola: 41880785 markings, 81025825 edges, 199746 markings/sec, 195 secs
lola: 42909962 markings, 82998392 edges, 205835 markings/sec, 200 secs
lola: 43935449 markings, 84968864 edges, 205097 markings/sec, 205 secs
lola: 44953417 markings, 86929748 edges, 203594 markings/sec, 210 secs
lola: 45946115 markings, 88881001 edges, 198540 markings/sec, 215 secs
lola: 46937088 markings, 90826513 edges, 198195 markings/sec, 220 secs
lola: 47941150 markings, 92777221 edges, 200812 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 20 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown 20 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5411616 KB
lola: time consumption: 983 seconds
lola: memory consumption: 5412048 KB
lola: time consumption: 983 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 233 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3kStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarP3kStar)
lola: processed formula length: 23
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 141 markings, 160 edges
lola: ========================================

FORMULA Angiogenesis-PT-20-UpperBounds-5 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Gab1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Gab1)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Angiogenesis-PT-20-UpperBounds-6 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 285 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Pg)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Pg)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Angiogenesis-PT-20-UpperBounds-7 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(AktStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(AktStar)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 47 markings, 46 edges
lola: ========================================

FORMULA Angiogenesis-PT-20-UpperBounds-8 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 366 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPg)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPg)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 61 markings, 79 edges
lola: ========================================

FORMULA Angiogenesis-PT-20-UpperBounds-9 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 427 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Pip3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Pip3)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: 1260850 markings, 2336778 edges, 252170 markings/sec, 0 secs
lola: 2430646 markings, 4554266 edges, 233959 markings/sec, 5 secs
lola: 3552490 markings, 6738428 edges, 224369 markings/sec, 10 secs
lola: 4666827 markings, 8911896 edges, 222867 markings/sec, 15 secs
lola: 5747494 markings, 11053114 edges, 216133 markings/sec, 20 secs
lola: 6822644 markings, 13181478 edges, 215030 markings/sec, 25 secs
lola: 7888941 markings, 15301348 edges, 213259 markings/sec, 30 secs
lola: 8938750 markings, 17409807 edges, 209962 markings/sec, 35 secs
lola: 9968597 markings, 19502056 edges, 205969 markings/sec, 40 secs
lola: 11024164 markings, 21610069 edges, 211113 markings/sec, 45 secs
lola: 12054160 markings, 23690058 edges, 205999 markings/sec, 50 secs
lola: 13083565 markings, 25774303 edges, 205881 markings/sec, 55 secs
lola: 14093583 markings, 27837598 edges, 202004 markings/sec, 60 secs
lola: 15088836 markings, 29878381 edges, 199051 markings/sec, 65 secs
lola: 16085671 markings, 31923400 edges, 199367 markings/sec, 70 secs
lola: 17071709 markings, 33955114 edges, 197208 markings/sec, 75 secs
lola: 18054525 markings, 35974435 edges, 196563 markings/sec, 80 secs
lola: 19026261 markings, 37979565 edges, 194347 markings/sec, 85 secs
lola: 20003016 markings, 39999461 edges, 195351 markings/sec, 90 secs
lola: 20980377 markings, 42015543 edges, 195472 markings/sec, 95 secs
lola: 21953293 markings, 44034520 edges, 194583 markings/sec, 100 secs
lola: 22926135 markings, 46040960 edges, 194568 markings/sec, 105 secs
lola: 23889776 markings, 48044955 edges, 192728 markings/sec, 110 secs
lola: 24860408 markings, 50048156 edges, 194126 markings/sec, 115 secs
lola: 25824317 markings, 52041220 edges, 192782 markings/sec, 120 secs
lola: 26790291 markings, 54043916 edges, 193195 markings/sec, 125 secs
lola: 27738777 markings, 56030234 edges, 189697 markings/sec, 130 secs
lola: 28705851 markings, 58036706 edges, 193415 markings/sec, 135 secs
lola: 29639388 markings, 60004150 edges, 186707 markings/sec, 140 secs
lola: 30578474 markings, 61980619 edges, 187817 markings/sec, 145 secs
lola: 31534052 markings, 63976502 edges, 191116 markings/sec, 150 secs
lola: 32463071 markings, 65938438 edges, 185804 markings/sec, 155 secs
lola: 33400030 markings, 67900292 edges, 187392 markings/sec, 160 secs
lola: 34313249 markings, 69855640 edges, 182644 markings/sec, 165 secs
lola: 35250305 markings, 71837293 edges, 187411 markings/sec, 170 secs
lola: 36178444 markings, 73799618 edges, 185628 markings/sec, 175 secs
lola: 37098622 markings, 75748789 edges, 184036 markings/sec, 180 secs
lola: 38017936 markings, 77698482 edges, 183863 markings/sec, 185 secs
lola: 38943270 markings, 79665184 edges, 185067 markings/sec, 190 secs
lola: 39861503 markings, 81613172 edges, 183647 markings/sec, 195 secs
lola: 40774938 markings, 83550614 edges, 182687 markings/sec, 200 secs
lola: 41694383 markings, 85499966 edges, 183889 markings/sec, 205 secs
lola: 42604217 markings, 87439126 edges, 181967 markings/sec, 210 secs
lola: 43513570 markings, 89381846 edges, 181871 markings/sec, 215 secs
lola: 44425904 markings, 91324841 edges, 182467 markings/sec, 220 secs
lola: 45346381 markings, 93283459 edges, 184095 markings/sec, 225 secs
lola: 46251281 markings, 95220020 edges, 180980 markings/sec, 230 secs
lola: 47147761 markings, 97138583 edges, 179296 markings/sec, 235 secs
lola: 48051820 markings, 99081417 edges, 180812 markings/sec, 240 secs
lola: 48950806 markings, 101000166 edges, 179797 markings/sec, 245 secs
lola: 49849984 markings, 102930783 edges, 179836 markings/sec, 250 secs
lola: 50733127 markings, 104838084 edges, 176629 markings/sec, 255 secs
lola: 51615734 markings, 106740971 edges, 176521 markings/sec, 260 secs
lola: 52505213 markings, 108643696 edges, 177896 markings/sec, 265 secs
lola: 53409941 markings, 110568370 edges, 180946 markings/sec, 270 secs
lola: 54299975 markings, 112478926 edges, 178007 markings/sec, 275 secs
lola: 55194990 markings, 114390466 edges, 179003 markings/sec, 280 secs
lola: 56075725 markings, 116295308 edges, 176147 markings/sec, 285 secs
lola: 56971739 markings, 118213362 edges, 179203 markings/sec, 290 secs
lola: 57856947 markings, 120114611 edges, 177042 markings/sec, 295 secs
lola: 58730999 markings, 122010565 edges, 174810 markings/sec, 300 secs
lola: 59606026 markings, 123903284 edges, 175005 markings/sec, 305 secs
lola: 60487159 markings, 125812740 edges, 176227 markings/sec, 310 secs
lola: 61377244 markings, 127719847 edges, 178017 markings/sec, 315 secs
lola: 62246524 markings, 129605122 edges, 173856 markings/sec, 320 secs
lola: 63114567 markings, 131488635 edges, 173609 markings/sec, 325 secs
lola: 63990984 markings, 133389634 edges, 175283 markings/sec, 330 secs
lola: 64864170 markings, 135272318 edges, 174637 markings/sec, 335 secs
lola: 65753721 markings, 137172450 edges, 177910 markings/sec, 340 secs
lola: 66606522 markings, 139033181 edges, 170560 markings/sec, 345 secs
lola: 67475867 markings, 140923841 edges, 173869 markings/sec, 350 secs
lola: 68343872 markings, 142804544 edges, 173601 markings/sec, 355 secs
lola: 69212691 markings, 144686264 edges, 173764 markings/sec, 360 secs
lola: 70092422 markings, 146579883 edges, 175946 markings/sec, 365 secs
lola: 70958518 markings, 148475008 edges, 173219 markings/sec, 370 secs
lola: 71821625 markings, 150351128 edges, 172621 markings/sec, 375 secs
lola: 72690444 markings, 152233696 edges, 173764 markings/sec, 380 secs
lola: 73545687 markings, 154097120 edges, 171049 markings/sec, 385 secs
lola: 74407857 markings, 155963055 edges, 172434 markings/sec, 390 secs
lola: 75254191 markings, 157829718 edges, 169267 markings/sec, 395 secs
lola: 76113897 markings, 159696763 edges, 171941 markings/sec, 400 secs
lola: 76973300 markings, 161566954 edges, 171881 markings/sec, 405 secs
lola: 77829417 markings, 163436355 edges, 171223 markings/sec, 410 secs
lola: 78691331 markings, 165312032 edges, 172383 markings/sec, 415 secs
lola: 79545620 markings, 167196449 edges, 170858 markings/sec, 420 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 20 unknown unknown 20 20 20 20 20 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 8671628 KB
lola: time consumption: 1433 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown 20 unknown unknown 20 20 20 20 20 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 8694572 KB
lola: time consumption: 1436 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 423 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(PtP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PtP2)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 21 markings, 20 edges

FORMULA Angiogenesis-PT-20-UpperBounds-11 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 528 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3kStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarP3kStar)
lola: processed formula length: 23
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 141 markings, 160 edges
lola: ========================================

FORMULA Angiogenesis-PT-20-UpperBounds-12 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 705 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GStarP3kP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GStarP3kP3)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: 1239229 markings, 2210557 edges, 247846 markings/sec, 0 secs
lola: 2395574 markings, 4348991 edges, 231269 markings/sec, 5 secs
lola: 3524715 markings, 6446794 edges, 225828 markings/sec, 10 secs
lola: 4654857 markings, 8555084 edges, 226028 markings/sec, 15 secs
lola: 5782683 markings, 10650988 edges, 225565 markings/sec, 20 secs
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 6490446 markings, 11965365 edges

FORMULA Angiogenesis-PT-20-UpperBounds-13 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1043 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(PtP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PtP3)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: 1231603 markings, 2270670 edges, 246321 markings/sec, 0 secs
lola: 2394401 markings, 4416330 edges, 232560 markings/sec, 5 secs
lola: 3515108 markings, 6491912 edges, 224141 markings/sec, 10 secs
lola: 4641293 markings, 8584313 edges, 225237 markings/sec, 15 secs
lola: 5745615 markings, 10641045 edges, 220864 markings/sec, 20 secs
lola: 6868187 markings, 12713114 edges, 224514 markings/sec, 25 secs
lola: 7963254 markings, 14751160 edges, 219013 markings/sec, 30 secs
lola: 9056099 markings, 16784320 edges, 218569 markings/sec, 35 secs
lola: 10134336 markings, 18799271 edges, 215647 markings/sec, 40 secs
lola: 11203411 markings, 20795510 edges, 213815 markings/sec, 45 secs
lola: 12270834 markings, 22793876 edges, 213485 markings/sec, 50 secs
lola: 13352639 markings, 24803411 edges, 216361 markings/sec, 55 secs
lola: 14415065 markings, 26793522 edges, 212485 markings/sec, 60 secs
lola: 15467288 markings, 28776982 edges, 210445 markings/sec, 65 secs
lola: 16513706 markings, 30754414 edges, 209284 markings/sec, 70 secs
lola: 17563827 markings, 32735482 edges, 210024 markings/sec, 75 secs
lola: 18603993 markings, 34695013 edges, 208033 markings/sec, 80 secs
lola: 19636577 markings, 36659373 edges, 206517 markings/sec, 85 secs
lola: 20660034 markings, 38598767 edges, 204691 markings/sec, 90 secs
lola: 21668582 markings, 40530872 edges, 201710 markings/sec, 95 secs
lola: 22679303 markings, 42466679 edges, 202144 markings/sec, 100 secs
lola: 23685849 markings, 44396207 edges, 201309 markings/sec, 105 secs
lola: 24693570 markings, 46329880 edges, 201544 markings/sec, 110 secs
lola: 25680723 markings, 48240152 edges, 197431 markings/sec, 115 secs
lola: 26661009 markings, 50136430 edges, 196057 markings/sec, 120 secs
lola: 27636031 markings, 52028001 edges, 195004 markings/sec, 125 secs
lola: 28617113 markings, 53919359 edges, 196216 markings/sec, 130 secs
lola: 29587968 markings, 55803180 edges, 194171 markings/sec, 135 secs
lola: 30563004 markings, 57699008 edges, 195007 markings/sec, 140 secs
lola: 31523743 markings, 59568351 edges, 192148 markings/sec, 145 secs
lola: 32485943 markings, 61441085 edges, 192440 markings/sec, 150 secs
lola: 33444823 markings, 63308151 edges, 191776 markings/sec, 155 secs
lola: 34394232 markings, 65166328 edges, 189882 markings/sec, 160 secs
lola: 35331301 markings, 67007144 edges, 187414 markings/sec, 165 secs
lola: 36286872 markings, 68873313 edges, 191114 markings/sec, 170 secs
lola: 37229502 markings, 70717656 edges, 188526 markings/sec, 175 secs
lola: 38166024 markings, 72564781 edges, 187304 markings/sec, 180 secs
lola: 39106184 markings, 74411845 edges, 188032 markings/sec, 185 secs
lola: 40046903 markings, 76265366 edges, 188144 markings/sec, 190 secs
lola: 40986511 markings, 78111721 edges, 187922 markings/sec, 195 secs
lola: 41924193 markings, 79947727 edges, 187536 markings/sec, 200 secs
lola: 42861484 markings, 81800082 edges, 187458 markings/sec, 205 secs
lola: 43780439 markings, 83622033 edges, 183791 markings/sec, 210 secs
lola: 44719083 markings, 85464325 edges, 187729 markings/sec, 215 secs
lola: 45640067 markings, 87295947 edges, 184197 markings/sec, 220 secs
lola: 46573715 markings, 89140593 edges, 186730 markings/sec, 225 secs
lola: 47488704 markings, 90970743 edges, 182998 markings/sec, 230 secs
lola: 48415617 markings, 92800453 edges, 185383 markings/sec, 235 secs
lola: 49339529 markings, 94630270 edges, 184782 markings/sec, 240 secs
lola: 50260308 markings, 96457920 edges, 184156 markings/sec, 245 secs
lola: 51170684 markings, 98280533 edges, 182075 markings/sec, 250 secs
lola: 52097341 markings, 100112303 edges, 185331 markings/sec, 255 secs
lola: 53004522 markings, 101932681 edges, 181436 markings/sec, 260 secs
lola: 53917079 markings, 103753518 edges, 182511 markings/sec, 265 secs
lola: 54823119 markings, 105565231 edges, 181208 markings/sec, 270 secs
lola: 55731662 markings, 107379491 edges, 181709 markings/sec, 275 secs
lola: 56622953 markings, 109177130 edges, 178258 markings/sec, 280 secs
lola: 57512563 markings, 110963871 edges, 177922 markings/sec, 285 secs
lola: 58417334 markings, 112754510 edges, 180954 markings/sec, 290 secs
lola: 59309269 markings, 114533811 edges, 178387 markings/sec, 295 secs
lola: 60189630 markings, 116300040 edges, 176072 markings/sec, 300 secs
lola: 61065927 markings, 118068529 edges, 175259 markings/sec, 305 secs
lola: 61938610 markings, 119824308 edges, 174537 markings/sec, 310 secs
lola: 62836625 markings, 121625898 edges, 179603 markings/sec, 315 secs
lola: 63733000 markings, 123420296 edges, 179275 markings/sec, 320 secs
lola: 64629827 markings, 125217908 edges, 179365 markings/sec, 325 secs
lola: 65521562 markings, 127003456 edges, 178347 markings/sec, 330 secs
lola: 66405488 markings, 128789223 edges, 176785 markings/sec, 335 secs
lola: 67293677 markings, 130577164 edges, 177638 markings/sec, 340 secs
lola: 68177777 markings, 132346528 edges, 176820 markings/sec, 345 secs
lola: 69062410 markings, 134118928 edges, 176927 markings/sec, 350 secs
lola: 69951111 markings, 135901211 edges, 177740 markings/sec, 355 secs
lola: 70827999 markings, 137672025 edges, 175378 markings/sec, 360 secs
lola: 71693873 markings, 139430916 edges, 173175 markings/sec, 365 secs
lola: 72573164 markings, 141202468 edges, 175858 markings/sec, 370 secs
lola: 73454076 markings, 142981009 edges, 176182 markings/sec, 375 secs
lola: 74332056 markings, 144754143 edges, 175596 markings/sec, 380 secs
lola: 75211076 markings, 146531180 edges, 175804 markings/sec, 385 secs
lola: 76080683 markings, 148290150 edges, 173921 markings/sec, 390 secs
lola: 76935902 markings, 150039540 edges, 171044 markings/sec, 395 secs
lola: 77808255 markings, 151801377 edges, 174471 markings/sec, 400 secs
lola: 78691956 markings, 153580020 edges, 176740 markings/sec, 405 secs
lola: 79565769 markings, 155337725 edges, 174763 markings/sec, 410 secs
lola: 80429696 markings, 157092349 edges, 172785 markings/sec, 415 secs
lola: 81291358 markings, 158838381 edges, 172332 markings/sec, 420 secs
lola: 82156434 markings, 160578900 edges, 173015 markings/sec, 425 secs
lola: 83010238 markings, 162324667 edges, 170761 markings/sec, 430 secs
lola: 83862415 markings, 164061461 edges, 170435 markings/sec, 435 secs
lola: 84717012 markings, 165804536 edges, 170919 markings/sec, 440 secs
lola: 85564179 markings, 167530275 edges, 169433 markings/sec, 445 secs
lola: 86414832 markings, 169258449 edges, 170131 markings/sec, 450 secs
lola: 87258009 markings, 170982933 edges, 168635 markings/sec, 455 secs
lola: 88114366 markings, 172710845 edges, 171271 markings/sec, 460 secs
lola: 88982251 markings, 174454672 edges, 173577 markings/sec, 465 secs
lola: 89819299 markings, 176164735 edges, 167410 markings/sec, 470 secs
lola: 90655012 markings, 177876648 edges, 167143 markings/sec, 475 secs
lola: 91484142 markings, 179581724 edges, 165826 markings/sec, 480 secs
lola: 92323508 markings, 181284717 edges, 167873 markings/sec, 485 secs
lola: 93159604 markings, 182983329 edges, 167219 markings/sec, 490 secs
lola: 94005299 markings, 184697490 edges, 169139 markings/sec, 495 secs
lola: 94829589 markings, 186398740 edges, 164858 markings/sec, 500 secs
lola: 95670123 markings, 188112673 edges, 168107 markings/sec, 505 secs
lola: 96505793 markings, 189819861 edges, 167134 markings/sec, 510 secs
lola: 97333567 markings, 191512054 edges, 165555 markings/sec, 515 secs
lola: 98161429 markings, 193211013 edges, 165572 markings/sec, 520 secs
lola: 98980981 markings, 194902484 edges, 163910 markings/sec, 525 secs
lola: 99830828 markings, 196623519 edges, 169969 markings/sec, 530 secs
lola: 100647761 markings, 198308022 edges, 163387 markings/sec, 535 secs
lola: 101477773 markings, 200005831 edges, 166002 markings/sec, 540 secs
lola: 102306385 markings, 201708740 edges, 165722 markings/sec, 545 secs
lola: 103134869 markings, 203404477 edges, 165697 markings/sec, 550 secs
lola: 103963315 markings, 205112519 edges, 165689 markings/sec, 555 secs
lola: 104789397 markings, 206799365 edges, 165216 markings/sec, 560 secs
lola: 105620091 markings, 208506947 edges, 166139 markings/sec, 565 secs
lola: 106434096 markings, 210190347 edges, 162801 markings/sec, 570 secs
lola: 107265865 markings, 211895842 edges, 166354 markings/sec, 575 secs
lola: 108077531 markings, 213578847 edges, 162333 markings/sec, 580 secs
lola: 108916562 markings, 215288938 edges, 167806 markings/sec, 585 secs
lola: 109727376 markings, 216970873 edges, 162163 markings/sec, 590 secs
lola: 110570475 markings, 218680195 edges, 168620 markings/sec, 595 secs
lola: 111400171 markings, 220378857 edges, 165939 markings/sec, 600 secs
lola: 112223771 markings, 222071972 edges, 164720 markings/sec, 605 secs
lola: 113047667 markings, 223770433 edges, 164779 markings/sec, 610 secs
lola: 113889618 markings, 225477642 edges, 168390 markings/sec, 615 secs
lola: 114728036 markings, 227187174 edges, 167684 markings/sec, 620 secs
lola: 115539848 markings, 228866381 edges, 162362 markings/sec, 625 secs
lola: 116369062 markings, 230565069 edges, 165843 markings/sec, 630 secs
lola: 117189712 markings, 232252473 edges, 164130 markings/sec, 635 secs
lola: 118003843 markings, 233941041 edges, 162826 markings/sec, 640 secs
lola: 118816481 markings, 235622403 edges, 162528 markings/sec, 645 secs
lola: 119627490 markings, 237309482 edges, 162202 markings/sec, 650 secs
lola: 120430552 markings, 238981508 edges, 160612 markings/sec, 655 secs
lola: 121243746 markings, 240659145 edges, 162639 markings/sec, 660 secs
lola: 122052495 markings, 242330653 edges, 161750 markings/sec, 665 secs
lola: 122849335 markings, 244002013 edges, 159368 markings/sec, 670 secs
lola: 123660358 markings, 245684734 edges, 162205 markings/sec, 675 secs
lola: 124473912 markings, 247361967 edges, 162711 markings/sec, 680 secs
lola: 125288792 markings, 249043437 edges, 162976 markings/sec, 685 secs
lola: 126106722 markings, 250728056 edges, 163586 markings/sec, 690 secs
lola: 126923069 markings, 252405425 edges, 163269 markings/sec, 695 secs
lola: 127744603 markings, 254097903 edges, 164307 markings/sec, 700 secs
lola: 128555792 markings, 255775804 edges, 162238 markings/sec, 705 secs
lola: 129370146 markings, 257449444 edges, 162871 markings/sec, 710 secs
lola: 130166223 markings, 259104191 edges, 159215 markings/sec, 715 secs
lola: 130949331 markings, 260747105 edges, 156622 markings/sec, 720 secs
lola: 131754379 markings, 262408795 edges, 161010 markings/sec, 725 secs
lola: 132572424 markings, 264088748 edges, 163609 markings/sec, 730 secs
lola: 133373000 markings, 265759004 edges, 160115 markings/sec, 735 secs
lola: 134177720 markings, 267426002 edges, 160944 markings/sec, 740 secs
lola: 134956613 markings, 269068136 edges, 155779 markings/sec, 745 secs
lola: 135754516 markings, 270725046 edges, 159581 markings/sec, 750 secs
lola: 136546456 markings, 272378250 edges, 158388 markings/sec, 755 secs
lola: 137345205 markings, 274044886 edges, 159750 markings/sec, 760 secs
lola: 138141119 markings, 275699855 edges, 159183 markings/sec, 765 secs
lola: 138938928 markings, 277359668 edges, 159562 markings/sec, 770 secs
lola: 139727850 markings, 279014156 edges, 157784 markings/sec, 775 secs
lola: 140534932 markings, 280679163 edges, 161416 markings/sec, 780 secs
lola: 141323711 markings, 282324994 edges, 157756 markings/sec, 785 secs
lola: 142114042 markings, 283976344 edges, 158066 markings/sec, 790 secs
lola: 142921128 markings, 285646841 edges, 161417 markings/sec, 795 secs
lola: 143707398 markings, 287287419 edges, 157254 markings/sec, 800 secs
lola: 144512383 markings, 288949568 edges, 160997 markings/sec, 805 secs
lola: 145333451 markings, 290631335 edges, 164214 markings/sec, 810 secs
lola: 146123861 markings, 292283196 edges, 158082 markings/sec, 815 secs
lola: 146901042 markings, 293922058 edges, 155436 markings/sec, 820 secs
lola: 147680027 markings, 295561960 edges, 155797 markings/sec, 825 secs
lola: 148475133 markings, 297208914 edges, 159021 markings/sec, 830 secs
lola: 149270400 markings, 298862099 edges, 159053 markings/sec, 835 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3kStarP3P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarP3kStarP3P2)
lola: processed formula length: 27
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 10
lola: 1174800 markings, 1881005 edges, 234960 markings/sec, 0 secs
lola: 2563677 markings, 4120763 edges, 277775 markings/sec, 5 secs
lola: 3923304 markings, 6315249 edges, 271925 markings/sec, 10 secs
lola: 5227731 markings, 8460322 edges, 260885 markings/sec, 15 secs
lola: 6529578 markings, 10593462 edges, 260369 markings/sec, 20 secs
lola: 7837084 markings, 12729007 edges, 261501 markings/sec, 25 secs
lola: 9128741 markings, 14839081 edges, 258331 markings/sec, 30 secs
lola: 10397714 markings, 16921181 edges, 253795 markings/sec, 35 secs
lola: 11666258 markings, 19008864 edges, 253709 markings/sec, 40 secs
lola: 12924903 markings, 21074332 edges, 251729 markings/sec, 45 secs
lola: 14184954 markings, 23150143 edges, 252010 markings/sec, 50 secs
lola: 15423639 markings, 25190294 edges, 247737 markings/sec, 55 secs
lola: 16698465 markings, 27267351 edges, 254965 markings/sec, 60 secs
lola: 17981584 markings, 29356992 edges, 256624 markings/sec, 65 secs
lola: 19210432 markings, 31385220 edges, 245770 markings/sec, 70 secs
lola: 20436451 markings, 33416881 edges, 245204 markings/sec, 75 secs
lola: 21674493 markings, 35447821 edges, 247608 markings/sec, 80 secs
lola: 22901216 markings, 37472608 edges, 245345 markings/sec, 85 secs
lola: 24124018 markings, 39488216 edges, 244560 markings/sec, 90 secs
lola: 25337965 markings, 41499593 edges, 242789 markings/sec, 95 secs
lola: 26552816 markings, 43502121 edges, 242970 markings/sec, 100 secs
lola: 27759121 markings, 45501126 edges, 241261 markings/sec, 105 secs
lola: 28973592 markings, 47505515 edges, 242894 markings/sec, 110 secs
lola: 30180069 markings, 49510048 edges, 241295 markings/sec, 115 secs
lola: 31378680 markings, 51486510 edges, 239722 markings/sec, 120 secs
lola: 32575013 markings, 53462568 edges, 239267 markings/sec, 125 secs
lola: 33787393 markings, 55458181 edges, 242476 markings/sec, 130 secs
lola: 34969073 markings, 57421851 edges, 236336 markings/sec, 135 secs
lola: 36129327 markings, 59370682 edges, 232051 markings/sec, 140 secs
lola: 37294041 markings, 61315810 edges, 232943 markings/sec, 145 secs
lola: 38465248 markings, 63268604 edges, 234241 markings/sec, 150 secs
lola: 39650940 markings, 65232165 edges, 237138 markings/sec, 155 secs
lola: 40824309 markings, 67189946 edges, 234674 markings/sec, 160 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 41481692 markings, 68282407 edges

FORMULA Angiogenesis-PT-20-UpperBounds-15 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPgStarP3P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPgStarP3P2)
lola: processed formula length: 26
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 10
lola: 1145211 markings, 2296181 edges, 229042 markings/sec, 0 secs
lola: 2197262 markings, 4512819 edges, 210410 markings/sec, 5 secs
lola: 3187175 markings, 6640019 edges, 197983 markings/sec, 10 secs
lola: 4139451 markings, 8713612 edges, 190455 markings/sec, 15 secs
lola: 5056614 markings, 10739819 edges, 183433 markings/sec, 20 secs
lola: 5958597 markings, 12738987 edges, 180397 markings/sec, 25 secs
lola: 6839511 markings, 14703828 edges, 176183 markings/sec, 30 secs
lola: 7712139 markings, 16655674 edges, 174526 markings/sec, 35 secs
lola: 8572222 markings, 18584428 edges, 172017 markings/sec, 40 secs
lola: 9420820 markings, 20499208 edges, 169720 markings/sec, 45 secs
lola: 10265219 markings, 22407582 edges, 168880 markings/sec, 50 secs
lola: 11095351 markings, 24291878 edges, 166026 markings/sec, 55 secs
lola: 11923180 markings, 26167117 edges, 165566 markings/sec, 60 secs
lola: 12744968 markings, 28033523 edges, 164358 markings/sec, 65 secs
lola: 13549277 markings, 29877451 edges, 160862 markings/sec, 70 secs
lola: 14357043 markings, 31724124 edges, 161553 markings/sec, 75 secs
lola: 15159915 markings, 33557198 edges, 160574 markings/sec, 80 secs
lola: 15956809 markings, 35394904 edges, 159379 markings/sec, 85 secs
lola: 16743480 markings, 37210939 edges, 157334 markings/sec, 90 secs
lola: 17522496 markings, 39008632 edges, 155803 markings/sec, 95 secs
lola: 18303854 markings, 40812095 edges, 156272 markings/sec, 100 secs
lola: 19080751 markings, 42608744 edges, 155379 markings/sec, 105 secs
lola: 19848294 markings, 44393793 edges, 153509 markings/sec, 110 secs
lola: 20609815 markings, 46175137 edges, 152304 markings/sec, 115 secs
lola: 21377420 markings, 47963625 edges, 153521 markings/sec, 120 secs
lola: 22129237 markings, 49723529 edges, 150363 markings/sec, 125 secs
lola: 22880402 markings, 51485470 edges, 150233 markings/sec, 130 secs
lola: 23634419 markings, 53239002 edges, 150803 markings/sec, 135 secs
lola: 24387180 markings, 54995988 edges, 150552 markings/sec, 140 secs
lola: 25130741 markings, 56743594 edges, 148712 markings/sec, 145 secs
lola: 25870695 markings, 58481015 edges, 147991 markings/sec, 150 secs
lola: 26606173 markings, 60219121 edges, 147096 markings/sec, 155 secs
lola: 27342527 markings, 61952890 edges, 147271 markings/sec, 160 secs
lola: 28077427 markings, 63683576 edges, 146980 markings/sec, 165 secs
lola: 28811083 markings, 65410518 edges, 146731 markings/sec, 170 secs
lola: 29534990 markings, 67102952 edges, 144781 markings/sec, 175 secs
lola: 30250146 markings, 68793195 edges, 143031 markings/sec, 180 secs
lola: 30955688 markings, 70460795 edges, 141108 markings/sec, 185 secs
lola: 31661025 markings, 72136229 edges, 141067 markings/sec, 190 secs
lola: 32366388 markings, 73810853 edges, 141073 markings/sec, 195 secs
lola: 33063988 markings, 75463697 edges, 139520 markings/sec, 200 secs
lola: 33770411 markings, 77138663 edges, 141285 markings/sec, 205 secs
lola: 34478145 markings, 78815681 edges, 141547 markings/sec, 210 secs
lola: 35180035 markings, 80485295 edges, 140378 markings/sec, 215 secs
lola: 35889060 markings, 82178322 edges, 141805 markings/sec, 220 secs
lola: 36597473 markings, 83861039 edges, 141683 markings/sec, 225 secs
lola: 37303284 markings, 85536141 edges, 141162 markings/sec, 230 secs
lola: 38001271 markings, 87201516 edges, 139597 markings/sec, 235 secs
lola: 38701904 markings, 88864157 edges, 140127 markings/sec, 240 secs
lola: 39403689 markings, 90533950 edges, 140357 markings/sec, 245 secs
lola: 40095597 markings, 92194145 edges, 138382 markings/sec, 250 secs
lola: 40795966 markings, 93864765 edges, 140074 markings/sec, 255 secs
lola: 41498959 markings, 95535771 edges, 140599 markings/sec, 260 secs
lola: 42198674 markings, 97200648 edges, 139943 markings/sec, 265 secs
lola: 42896546 markings, 98859365 edges, 139574 markings/sec, 270 secs
lola: 43592452 markings, 100516394 edges, 139181 markings/sec, 275 secs
lola: 44282049 markings, 102167310 edges, 137919 markings/sec, 280 secs
lola: 44973344 markings, 103825735 edges, 138259 markings/sec, 285 secs
lola: 45665449 markings, 105485565 edges, 138421 markings/sec, 290 secs
lola: 46357644 markings, 107139185 edges, 138439 markings/sec, 295 secs
lola: 47046011 markings, 108783330 edges, 137673 markings/sec, 300 secs
lola: 47732841 markings, 110426669 edges, 137366 markings/sec, 305 secs
lola: 48422117 markings, 112070752 edges, 137855 markings/sec, 310 secs
lola: 49107397 markings, 113706632 edges, 137056 markings/sec, 315 secs
lola: 49793278 markings, 115346498 edges, 137176 markings/sec, 320 secs
lola: 50479161 markings, 116984289 edges, 137177 markings/sec, 325 secs
lola: 51162335 markings, 118627040 edges, 136635 markings/sec, 330 secs
lola: 51841848 markings, 120259698 edges, 135903 markings/sec, 335 secs
lola: 52515880 markings, 121890184 edges, 134806 markings/sec, 340 secs
lola: 53185504 markings, 123508500 edges, 133925 markings/sec, 345 secs
lola: 53862065 markings, 125136633 edges, 135312 markings/sec, 350 secs
lola: 54533540 markings, 126735163 edges, 134295 markings/sec, 355 secs
lola: 55202723 markings, 128348727 edges, 133837 markings/sec, 360 secs
lola: 55872373 markings, 129959669 edges, 133930 markings/sec, 365 secs
lola: 56548518 markings, 131585568 edges, 135229 markings/sec, 370 secs
lola: 57221437 markings, 133204589 edges, 134584 markings/sec, 375 secs
lola: 57888663 markings, 134809259 edges, 133445 markings/sec, 380 secs
lola: 58555666 markings, 136410301 edges, 133401 markings/sec, 385 secs
lola: 59225702 markings, 138029729 edges, 134007 markings/sec, 390 secs
lola: 59890313 markings, 139638226 edges, 132922 markings/sec, 395 secs
lola: 60558363 markings, 141247296 edges, 133610 markings/sec, 400 secs
lola: 61212701 markings, 142831162 edges, 130868 markings/sec, 405 secs
lola: 61874372 markings, 144432180 edges, 132334 markings/sec, 410 secs
lola: 62534266 markings, 146024629 edges, 131979 markings/sec, 415 secs
lola: 63195696 markings, 147628417 edges, 132286 markings/sec, 420 secs
lola: 63853414 markings, 149225617 edges, 131544 markings/sec, 425 secs
lola: 64512900 markings, 150820533 edges, 131897 markings/sec, 430 secs
lola: 65168308 markings, 152409642 edges, 131082 markings/sec, 435 secs
lola: 65823331 markings, 153985923 edges, 131005 markings/sec, 440 secs
lola: 66483168 markings, 155581536 edges, 131967 markings/sec, 445 secs
lola: 67132378 markings, 157157919 edges, 129842 markings/sec, 450 secs
lola: 67781373 markings, 158733474 edges, 129799 markings/sec, 455 secs
lola: 68434358 markings, 160317560 edges, 130597 markings/sec, 460 secs
lola: 69080339 markings, 161886618 edges, 129196 markings/sec, 465 secs
lola: 69730131 markings, 163462605 edges, 129958 markings/sec, 470 secs
lola: 70379694 markings, 165039975 edges, 129913 markings/sec, 475 secs
lola: 71024891 markings, 166609439 edges, 129039 markings/sec, 480 secs
lola: 71679967 markings, 168195477 edges, 131015 markings/sec, 485 secs
lola: 72327249 markings, 169770502 edges, 129456 markings/sec, 490 secs
lola: 72965593 markings, 171331353 edges, 127669 markings/sec, 495 secs
lola: 73610095 markings, 172894938 edges, 128900 markings/sec, 500 secs
lola: 74256716 markings, 174466225 edges, 129324 markings/sec, 505 secs
lola: 74903608 markings, 176036366 edges, 129378 markings/sec, 510 secs
lola: 75542847 markings, 177597484 edges, 127848 markings/sec, 515 secs
lola: 76184507 markings, 179156654 edges, 128332 markings/sec, 520 secs
lola: 76825974 markings, 180721028 edges, 128293 markings/sec, 525 secs
lola: 77470663 markings, 182282931 edges, 128938 markings/sec, 530 secs
lola: 78112048 markings, 183842947 edges, 128277 markings/sec, 535 secs
lola: 78757163 markings, 185403125 edges, 129023 markings/sec, 540 secs
lola: 79396287 markings, 186964249 edges, 127825 markings/sec, 545 secs
lola: 80031563 markings, 188516431 edges, 127055 markings/sec, 550 secs
lola: 80663896 markings, 190072664 edges, 126467 markings/sec, 555 secs
lola: 81298498 markings, 191618592 edges, 126920 markings/sec, 560 secs
lola: 81929824 markings, 193168669 edges, 126265 markings/sec, 565 secs
lola: 82558623 markings, 194706636 edges, 125760 markings/sec, 570 secs
lola: 83191131 markings, 196245994 edges, 126502 markings/sec, 575 secs
lola: 83821266 markings, 197785626 edges, 126027 markings/sec, 580 secs
lola: 84454755 markings, 199322257 edges, 126698 markings/sec, 585 secs
lola: 85090911 markings, 200871387 edges, 127231 markings/sec, 590 secs
lola: 85721938 markings, 202415565 edges, 126205 markings/sec, 595 secs
lola: 86356845 markings, 203957792 edges, 126981 markings/sec, 600 secs
lola: 86984916 markings, 205482887 edges, 125614 markings/sec, 605 secs
lola: 87609886 markings, 207012655 edges, 124994 markings/sec, 610 secs
lola: 88236496 markings, 208552560 edges, 125322 markings/sec, 615 secs
lola: 88866243 markings, 210092947 edges, 125949 markings/sec, 620 secs
lola: 89489891 markings, 211617385 edges, 124730 markings/sec, 625 secs
lola: 90119159 markings, 213154955 edges, 125854 markings/sec, 630 secs
lola: 90742716 markings, 214683046 edges, 124711 markings/sec, 635 secs
lola: 91365714 markings, 216212132 edges, 124600 markings/sec, 640 secs
lola: 91987452 markings, 217735803 edges, 124348 markings/sec, 645 secs
lola: 92598415 markings, 219244501 edges, 122193 markings/sec, 650 secs
lola: 93217168 markings, 220757864 edges, 123751 markings/sec, 655 secs
lola: 93832739 markings, 222261859 edges, 123114 markings/sec, 660 secs
lola: 94446958 markings, 223772170 edges, 122844 markings/sec, 665 secs
lola: 95056648 markings, 225271261 edges, 121938 markings/sec, 670 secs
lola: 95659384 markings, 226749297 edges, 120547 markings/sec, 675 secs
lola: 96262571 markings, 228234170 edges, 120637 markings/sec, 680 secs
lola: 96868478 markings, 229724938 edges, 121181 markings/sec, 685 secs
lola: 97485203 markings, 231231740 edges, 123345 markings/sec, 690 secs
lola: 98100773 markings, 232741730 edges, 123114 markings/sec, 695 secs
lola: 98699599 markings, 234234139 edges, 119765 markings/sec, 700 secs
lola: 99317975 markings, 235742820 edges, 123675 markings/sec, 705 secs
lola: 99937611 markings, 237253402 edges, 123927 markings/sec, 710 secs
lola: 100551358 markings, 238762734 edges, 122749 markings/sec, 715 secs
lola: 101160545 markings, 240269198 edges, 121837 markings/sec, 720 secs
lola: 101774084 markings, 241782637 edges, 122708 markings/sec, 725 secs
lola: 102377003 markings, 243283448 edges, 120584 markings/sec, 730 secs
lola: 102990820 markings, 244795378 edges, 122763 markings/sec, 735 secs
lola: 103594184 markings, 246284480 edges, 120673 markings/sec, 740 secs
lola: 104204576 markings, 247796989 edges, 122078 markings/sec, 745 secs
lola: 104817583 markings, 249307165 edges, 122601 markings/sec, 750 secs
lola: 105427319 markings, 250815159 edges, 121947 markings/sec, 755 secs
lola: 106032089 markings, 252301935 edges, 120954 markings/sec, 760 secs
lola: 106637826 markings, 253802428 edges, 121147 markings/sec, 765 secs
lola: 107247999 markings, 255302237 edges, 122035 markings/sec, 770 secs
lola: 107851703 markings, 256801255 edges, 120741 markings/sec, 775 secs
lola: 108456823 markings, 258300253 edges, 121024 markings/sec, 780 secs
lola: 109063535 markings, 259798354 edges, 121342 markings/sec, 785 secs
lola: 109678184 markings, 261301870 edges, 122930 markings/sec, 790 secs
lola: 110285035 markings, 262794893 edges, 121370 markings/sec, 795 secs
lola: 110885968 markings, 264277376 edges, 120187 markings/sec, 800 secs
lola: 111488983 markings, 265777936 edges, 120603 markings/sec, 805 secs
lola: 112090107 markings, 267258889 edges, 120225 markings/sec, 810 secs
lola: 112690690 markings, 268748002 edges, 120117 markings/sec, 815 secs
lola: 113294424 markings, 270241237 edges, 120747 markings/sec, 820 secs
lola: 113900550 markings, 271733081 edges, 121225 markings/sec, 825 secs
lola: 114509006 markings, 273225968 edges, 121691 markings/sec, 830 secs
lola: 115111436 markings, 274707857 edges, 120486 markings/sec, 835 secs
lola: 115713827 markings, 276191150 edges, 120478 markings/sec, 840 secs
lola: 116314329 markings, 277671134 edges, 120100 markings/sec, 845 secs
lola: 116914480 markings, 279147182 edges, 120030 markings/sec, 850 secs
lola: 117519596 markings, 280630788 edges, 121023 markings/sec, 855 secs
lola: 118121452 markings, 282108336 edges, 120371 markings/sec, 860 secs
lola: 118718264 markings, 283589353 edges, 119362 markings/sec, 865 secs
lola: 119317429 markings, 285066832 edges, 119833 markings/sec, 870 secs
lola: 119917618 markings, 286546993 edges, 120038 markings/sec, 875 secs
lola: 120515495 markings, 288034667 edges, 119575 markings/sec, 880 secs
lola: 121111690 markings, 289498967 edges, 119239 markings/sec, 885 secs
lola: 121712607 markings, 290984706 edges, 120183 markings/sec, 890 secs
lola: 122312557 markings, 292468210 edges, 119990 markings/sec, 895 secs
lola: 122910684 markings, 293952386 edges, 119625 markings/sec, 900 secs
lola: 123507580 markings, 295427316 edges, 119379 markings/sec, 905 secs
lola: 124101898 markings, 296903141 edges, 118864 markings/sec, 910 secs
lola: 124693536 markings, 298370651 edges, 118328 markings/sec, 915 secs
lola: 125285804 markings, 299837967 edges, 118454 markings/sec, 920 secs
lola: 125882166 markings, 301314113 edges, 119272 markings/sec, 925 secs
lola: 126474041 markings, 302785538 edges, 118375 markings/sec, 930 secs
lola: 127069584 markings, 304258937 edges, 119109 markings/sec, 935 secs
lola: 127659509 markings, 305723182 edges, 117985 markings/sec, 940 secs
lola: 128250469 markings, 307186590 edges, 118192 markings/sec, 945 secs
lola: 128839687 markings, 308652618 edges, 117844 markings/sec, 950 secs
lola: 129433907 markings, 310125893 edges, 118844 markings/sec, 955 secs
lola: 130026180 markings, 311597216 edges, 118455 markings/sec, 960 secs
lola: 130617845 markings, 313055907 edges, 118333 markings/sec, 965 secs
lola: 131201142 markings, 314511650 edges, 116659 markings/sec, 970 secs
lola: 131785299 markings, 315977890 edges, 116831 markings/sec, 975 secs
lola: 132379394 markings, 317442971 edges, 118819 markings/sec, 980 secs
lola: 132959540 markings, 318897499 edges, 116029 markings/sec, 985 secs
lola: 133548289 markings, 320354570 edges, 117750 markings/sec, 990 secs
lola: 134137125 markings, 321817058 edges, 117767 markings/sec, 995 secs
lola: 134728611 markings, 323280123 edges, 118297 markings/sec, 1000 secs
lola: 135312341 markings, 324734746 edges, 116746 markings/sec, 1005 secs
lola: 135894572 markings, 326185701 edges, 116446 markings/sec, 1010 secs
lola: 136478700 markings, 327636781 edges, 116826 markings/sec, 1015 secs
lola: 137061989 markings, 329091605 edges, 116658 markings/sec, 1020 secs
lola: 137648669 markings, 330550822 edges, 117336 markings/sec, 1025 secs
lola: 138233868 markings, 332003944 edges, 117040 markings/sec, 1030 secs
lola: 138821011 markings, 333460287 edges, 117429 markings/sec, 1035 secs
lola: 139407243 markings, 334918386 edges, 117246 markings/sec, 1040 secs
lola: 139992596 markings, 336368790 edges, 117071 markings/sec, 1045 secs
lola: 140575936 markings, 337819941 edges, 116668 markings/sec, 1050 secs
lola: 141155627 markings, 339265663 edges, 115938 markings/sec, 1055 secs
lola: 141729322 markings, 340709231 edges, 114739 markings/sec, 1060 secs
lola: 142315735 markings, 342161414 edges, 117283 markings/sec, 1065 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown 20 unknown unknown 20 20 20 20 20 unknown 20 20 20 unknown 10
lola:
preliminary result: unknown unknown 20 unknown unknown 20 20 20 20 20 unknown 20 20 20 unknown 10
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown 20 unknown unknown 20 20 20 20 20 unknown 20 20 20 unknown 10
lola: memory consumption: 13508 KB
lola: time consumption: 3569 seconds
lola: Child process aborted or communication problem between parent and child process

FORMULA Angiogenesis-PT-20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(GP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GP3)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown 20 unknown unknown 20 20 20 20 20 unknown 20 20 20 unknown 10
lola:
preliminary result: unknown unknown 20 unknown unknown 20 20 20 20 20 unknown 20 20 20 unknown 10
lola: memory consumption: 16068 KB
lola: time consumption: 3571 seconds

BK_STOP 1526632046252

--------------------
content from 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="Angiogenesis-PT-20"
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/Angiogenesis-PT-20.tgz
mv Angiogenesis-PT-20 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is Angiogenesis-PT-20, 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 r016-qhx1-152646241100030"
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 ;