fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r016-qhx1-152646241100037
Last Updated
June 26, 2018

About the Execution of LoLA for Angiogenesis-PT-25

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.140 3598693.00 3619548.00 18360.00 ? 12 ? ? ? ? 25 12 25 25 25 ? 25 25 25 25 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)
.........................
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.0K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K 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.7K 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-25, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-qhx1-152646241100037
=====================================================================


--------------------
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-00
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-01
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-02
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-03
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-04
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-05
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-06
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-07
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-08
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-09
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

=== Now, execution of the tool begins

BK_START 1526628718991

info: Time: 3600 - MCC
===========================================================================================
prep: translating Angiogenesis-PT-25 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Angiogenesis-PT-25 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Angiogenesis-PT-25 @ 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-25-UpperBounds.task
lola: MAX(PtP3) : MAX(PtP3P2) : MAX(KdStarGStarPgStarP2) : MAX(KdStarGStarP3kP3) : MAX(PtP3) : MAX(AktP3) : MAX(KdStarGStarP3kStar) : MAX(PtP3P2) : MAX(KdStarGStarP3kStar) : MAX(KdStarGStarP3k) : MAX(KdStarGStar) : MAX(GP3) : MAX(Pg) : MAX(KdStarGStarPgStar) : MAX(PtP2) : MAX(Gab1)
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(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-25-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: 25
lola: 1171432 markings, 2167773 edges, 234286 markings/sec, 0 secs
lola: 2316494 markings, 4271394 edges, 229012 markings/sec, 5 secs
lola: 3425531 markings, 6318662 edges, 221807 markings/sec, 10 secs
lola: 4526857 markings, 8357417 edges, 220265 markings/sec, 15 secs
lola: 5618230 markings, 10376132 edges, 218275 markings/sec, 20 secs
lola: 6682188 markings, 12358456 edges, 212792 markings/sec, 25 secs
lola: 7743877 markings, 14334659 edges, 212338 markings/sec, 30 secs
lola: 8798911 markings, 16302593 edges, 211007 markings/sec, 35 secs
lola: 9854393 markings, 18266125 edges, 211096 markings/sec, 40 secs
lola: 10913643 markings, 20231327 edges, 211850 markings/sec, 45 secs
lola: 11959147 markings, 22177752 edges, 209101 markings/sec, 50 secs
lola: 12997208 markings, 24117415 edges, 207612 markings/sec, 55 secs
lola: 14047258 markings, 26067522 edges, 210010 markings/sec, 60 secs
lola: 15088922 markings, 28007222 edges, 208333 markings/sec, 65 secs
lola: 16117243 markings, 29932181 edges, 205664 markings/sec, 70 secs
lola: 17143120 markings, 31850400 edges, 205175 markings/sec, 75 secs
lola: 18153138 markings, 33741889 edges, 202004 markings/sec, 80 secs
lola: 19159944 markings, 35620216 edges, 201361 markings/sec, 85 secs
lola: 20164899 markings, 37514695 edges, 200991 markings/sec, 90 secs
lola: 21183618 markings, 39419199 edges, 203744 markings/sec, 95 secs
lola: 22204690 markings, 41324537 edges, 204214 markings/sec, 100 secs
lola: 23228409 markings, 43227082 edges, 204744 markings/sec, 105 secs
lola: 24252414 markings, 45141872 edges, 204801 markings/sec, 110 secs
lola: 25274915 markings, 47049737 edges, 204500 markings/sec, 115 secs
lola: 26287836 markings, 48941141 edges, 202584 markings/sec, 120 secs
lola: 27293703 markings, 50833603 edges, 201173 markings/sec, 125 secs
lola: 28277238 markings, 52686721 edges, 196707 markings/sec, 130 secs
lola: 29284739 markings, 54575535 edges, 201500 markings/sec, 135 secs
lola: 30300152 markings, 56471751 edges, 203083 markings/sec, 140 secs
lola: 31310705 markings, 58373435 edges, 202111 markings/sec, 145 secs
lola: 32294015 markings, 60225986 edges, 196662 markings/sec, 150 secs
lola: 33284308 markings, 62094093 edges, 198059 markings/sec, 155 secs
lola: 34270599 markings, 63961374 edges, 197258 markings/sec, 160 secs
lola: 35261414 markings, 65831658 edges, 198163 markings/sec, 165 secs
lola: 36242721 markings, 67688977 edges, 196261 markings/sec, 170 secs
lola: 37224738 markings, 69548693 edges, 196403 markings/sec, 175 secs
lola: 38206151 markings, 71413945 edges, 196283 markings/sec, 180 secs
lola: 39181950 markings, 73265903 edges, 195160 markings/sec, 185 secs
lola: 40148422 markings, 75110450 edges, 193294 markings/sec, 190 secs
lola: 41124552 markings, 76969841 edges, 195226 markings/sec, 195 secs
lola: 42085577 markings, 78805637 edges, 192205 markings/sec, 200 secs
lola: 43045224 markings, 80644444 edges, 191929 markings/sec, 205 secs
lola: 44009838 markings, 82473498 edges, 192923 markings/sec, 210 secs
lola: 44961172 markings, 84293576 edges, 190267 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: 4824344 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: 4839584 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(PtP3P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PtP3P2)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-25-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: 12
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 729 markings, 1113 edges
lola: ========================================

FORMULA Angiogenesis-PT-25-UpperBounds-1 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPgStarP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPgStarP2)
lola: processed formula length: 24
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-25-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: 25
lola: 1238678 markings, 2387008 edges, 247736 markings/sec, 0 secs
lola: 2333634 markings, 4575969 edges, 218991 markings/sec, 5 secs
lola: 3356866 markings, 6659392 edges, 204646 markings/sec, 10 secs
lola: 4332965 markings, 8678786 edges, 195220 markings/sec, 15 secs
lola: 5317611 markings, 10692420 edges, 196929 markings/sec, 20 secs
lola: 6269656 markings, 12643437 edges, 190409 markings/sec, 25 secs
lola: 7193795 markings, 14573497 edges, 184828 markings/sec, 30 secs
lola: 8113346 markings, 16492139 edges, 183910 markings/sec, 35 secs
lola: 9023156 markings, 18395318 edges, 181962 markings/sec, 40 secs
lola: 9932176 markings, 20290996 edges, 181804 markings/sec, 45 secs
lola: 10817526 markings, 22167311 edges, 177070 markings/sec, 50 secs
lola: 11689418 markings, 24009907 edges, 174378 markings/sec, 55 secs
lola: 12564353 markings, 25865568 edges, 174987 markings/sec, 60 secs
lola: 13423279 markings, 27676560 edges, 171785 markings/sec, 65 secs
lola: 14269875 markings, 29462219 edges, 169319 markings/sec, 70 secs
lola: 15128296 markings, 31265562 edges, 171684 markings/sec, 75 secs
lola: 15976446 markings, 33063894 edges, 169630 markings/sec, 80 secs
lola: 16822153 markings, 34865431 edges, 169141 markings/sec, 85 secs
lola: 17651910 markings, 36644377 edges, 165951 markings/sec, 90 secs
lola: 18511456 markings, 38436036 edges, 171909 markings/sec, 95 secs
lola: 19353785 markings, 40212336 edges, 168466 markings/sec, 100 secs
lola: 20189916 markings, 41989658 edges, 167226 markings/sec, 105 secs
lola: 21003751 markings, 43740072 edges, 162767 markings/sec, 110 secs
lola: 21810454 markings, 45475635 edges, 161341 markings/sec, 115 secs
lola: 22640619 markings, 47240949 edges, 166033 markings/sec, 120 secs
lola: 23448620 markings, 48972526 edges, 161600 markings/sec, 125 secs
lola: 24255426 markings, 50698231 edges, 161361 markings/sec, 130 secs
lola: 25054322 markings, 52418062 edges, 159779 markings/sec, 135 secs
lola: 25855565 markings, 54148684 edges, 160249 markings/sec, 140 secs
lola: 26643845 markings, 55854948 edges, 157656 markings/sec, 145 secs
lola: 27454673 markings, 57580202 edges, 162166 markings/sec, 150 secs
lola: 28246712 markings, 59286441 edges, 158408 markings/sec, 155 secs
lola: 29027305 markings, 60988187 edges, 156119 markings/sec, 160 secs
lola: 29813776 markings, 62690019 edges, 157294 markings/sec, 165 secs
lola: 30600895 markings, 64392827 edges, 157424 markings/sec, 170 secs
lola: 31386701 markings, 66089701 edges, 157161 markings/sec, 175 secs
lola: 32157632 markings, 67776679 edges, 154186 markings/sec, 180 secs
lola: 32940061 markings, 69474919 edges, 156486 markings/sec, 185 secs
lola: 33713335 markings, 71158530 edges, 154655 markings/sec, 190 secs
lola: 34521419 markings, 72884087 edges, 161617 markings/sec, 195 secs
lola: 35304375 markings, 74579080 edges, 156591 markings/sec, 200 secs
lola: 36107264 markings, 76283748 edges, 160578 markings/sec, 205 secs
lola: 36873211 markings, 77947561 edges, 153189 markings/sec, 210 secs
lola: 37650665 markings, 79630496 edges, 155491 markings/sec, 215 secs
lola: 38420620 markings, 81291737 edges, 153991 markings/sec, 220 secs
lola: 39195149 markings, 82968919 edges, 154906 markings/sec, 225 secs
lola: 39962149 markings, 84630710 edges, 153400 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 12 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4230624 KB
lola: time consumption: 483 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 12 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4244884 KB
lola: time consumption: 485 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3kP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarP3kP3)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-25-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: 25
lola: 1124336 markings, 2285662 edges, 224867 markings/sec, 0 secs
lola: 2160425 markings, 4442389 edges, 207218 markings/sec, 5 secs
lola: 3166492 markings, 6514125 edges, 201213 markings/sec, 10 secs
lola: 4150347 markings, 8587419 edges, 196771 markings/sec, 15 secs
lola: 5095001 markings, 10625420 edges, 188931 markings/sec, 20 secs
lola: 6042389 markings, 12641857 edges, 189478 markings/sec, 25 secs
lola: 6968716 markings, 14657960 edges, 185265 markings/sec, 30 secs
lola: 7884959 markings, 16650552 edges, 183249 markings/sec, 35 secs
lola: 8825736 markings, 18641953 edges, 188155 markings/sec, 40 secs
lola: 9731930 markings, 20597307 edges, 181239 markings/sec, 45 secs
lola: 10640825 markings, 22549110 edges, 181779 markings/sec, 50 secs
lola: 11530143 markings, 24479381 edges, 177864 markings/sec, 55 secs
lola: 12392753 markings, 26379966 edges, 172522 markings/sec, 60 secs
lola: 13268669 markings, 28301090 edges, 175183 markings/sec, 65 secs
lola: 14167857 markings, 30218533 edges, 179838 markings/sec, 70 secs
lola: 15025695 markings, 32115115 edges, 171568 markings/sec, 75 secs
lola: 15873218 markings, 33996716 edges, 169505 markings/sec, 80 secs
lola: 16768343 markings, 35899135 edges, 179025 markings/sec, 85 secs
lola: 17599333 markings, 37769205 edges, 166198 markings/sec, 90 secs
lola: 18442182 markings, 39630866 edges, 168570 markings/sec, 95 secs
lola: 19266349 markings, 41482378 edges, 164833 markings/sec, 100 secs
lola: 20107072 markings, 43350797 edges, 168145 markings/sec, 105 secs
lola: 20954970 markings, 45213376 edges, 169580 markings/sec, 110 secs
lola: 21767994 markings, 47037824 edges, 162605 markings/sec, 115 secs
lola: 22606561 markings, 48904914 edges, 167713 markings/sec, 120 secs
lola: 23411882 markings, 50732504 edges, 161064 markings/sec, 125 secs
lola: 24249597 markings, 52588674 edges, 167543 markings/sec, 130 secs
lola: 25066931 markings, 54407166 edges, 163467 markings/sec, 135 secs
lola: 25924750 markings, 56246406 edges, 171564 markings/sec, 140 secs
lola: 26744238 markings, 58069404 edges, 163898 markings/sec, 145 secs
lola: 27568186 markings, 59890279 edges, 164790 markings/sec, 150 secs
lola: 28356396 markings, 61685999 edges, 157642 markings/sec, 155 secs
lola: 29169166 markings, 63490158 edges, 162554 markings/sec, 160 secs
lola: 29966604 markings, 65284418 edges, 159488 markings/sec, 165 secs
lola: 30761447 markings, 67075778 edges, 158969 markings/sec, 170 secs
lola: 31545111 markings, 68871218 edges, 156733 markings/sec, 175 secs
lola: 32341778 markings, 70665331 edges, 159333 markings/sec, 180 secs
lola: 33118306 markings, 72436982 edges, 155306 markings/sec, 185 secs
lola: 33891694 markings, 74214318 edges, 154678 markings/sec, 190 secs
lola: 34689442 markings, 76001898 edges, 159550 markings/sec, 195 secs
lola: 35525387 markings, 77802715 edges, 167189 markings/sec, 200 secs
lola: 36343057 markings, 79610009 edges, 163534 markings/sec, 205 secs
lola: 37092224 markings, 81369625 edges, 149833 markings/sec, 210 secs
lola: 37868421 markings, 83138822 edges, 155239 markings/sec, 215 secs
lola: 38649804 markings, 84911906 edges, 156277 markings/sec, 220 secs
lola: 39446770 markings, 86680065 edges, 159393 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 12 unknown 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 12 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4234460 KB
lola: time consumption: 740 seconds
lola: memory consumption: 4234828 KB
lola: time consumption: 740 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 234 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-25-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: 25
lola: 1218947 markings, 2256314 edges, 243789 markings/sec, 0 secs
lola: 2393513 markings, 4413502 edges, 234913 markings/sec, 5 secs
lola: 3529238 markings, 6511245 edges, 227145 markings/sec, 10 secs
lola: 4658624 markings, 8601133 edges, 225877 markings/sec, 15 secs
lola: 5770709 markings, 10660439 edges, 222417 markings/sec, 20 secs
lola: 6872496 markings, 12710311 edges, 220357 markings/sec, 25 secs
lola: 7952925 markings, 14725750 edges, 216086 markings/sec, 30 secs
lola: 9037597 markings, 16751003 edges, 216934 markings/sec, 35 secs
lola: 10118927 markings, 18755540 edges, 216266 markings/sec, 40 secs
lola: 11186727 markings, 20742760 edges, 213560 markings/sec, 45 secs
lola: 12248169 markings, 22719219 edges, 212288 markings/sec, 50 secs
lola: 13319824 markings, 24719918 edges, 214331 markings/sec, 55 secs
lola: 14405554 markings, 26729833 edges, 217146 markings/sec, 60 secs
lola: 15471295 markings, 28724341 edges, 213148 markings/sec, 65 secs
lola: 16526053 markings, 30698682 edges, 210952 markings/sec, 70 secs
lola: 17578361 markings, 32660594 edges, 210462 markings/sec, 75 secs
lola: 18631492 markings, 34630483 edges, 210626 markings/sec, 80 secs
lola: 19656814 markings, 36560932 edges, 205064 markings/sec, 85 secs
lola: 20703008 markings, 38518685 edges, 209239 markings/sec, 90 secs
lola: 21757863 markings, 40491977 edges, 210971 markings/sec, 95 secs
lola: 22816542 markings, 42458918 edges, 211736 markings/sec, 100 secs
lola: 23863534 markings, 44417453 edges, 209398 markings/sec, 105 secs
lola: 24927978 markings, 46398336 edges, 212889 markings/sec, 110 secs
lola: 25961443 markings, 48330499 edges, 206693 markings/sec, 115 secs
lola: 26989636 markings, 50256848 edges, 205639 markings/sec, 120 secs
lola: 28011217 markings, 52184150 edges, 204316 markings/sec, 125 secs
lola: 29033656 markings, 54101244 edges, 204488 markings/sec, 130 secs
lola: 30062933 markings, 56028419 edges, 205855 markings/sec, 135 secs
lola: 31091060 markings, 57962956 edges, 205625 markings/sec, 140 secs
lola: 32123410 markings, 59903155 edges, 206470 markings/sec, 145 secs
lola: 33135837 markings, 61816866 edges, 202485 markings/sec, 150 secs
lola: 34158570 markings, 63748725 edges, 204547 markings/sec, 155 secs
lola: 35178412 markings, 65675974 edges, 203968 markings/sec, 160 secs
lola: 36191393 markings, 67592153 edges, 202596 markings/sec, 165 secs
lola: 37206935 markings, 69514179 edges, 203108 markings/sec, 170 secs
lola: 38218633 markings, 71436845 edges, 202340 markings/sec, 175 secs
lola: 39222289 markings, 73344111 edges, 200731 markings/sec, 180 secs
lola: 40214409 markings, 75233945 edges, 198424 markings/sec, 185 secs
lola: 41213940 markings, 77138802 edges, 199906 markings/sec, 190 secs
lola: 42207127 markings, 79037206 edges, 198637 markings/sec, 195 secs
lola: 43200886 markings, 80939858 edges, 198752 markings/sec, 200 secs
lola: 44201015 markings, 82838470 edges, 200026 markings/sec, 205 secs
lola: 45186860 markings, 84726810 edges, 197169 markings/sec, 210 secs
lola: 46170132 markings, 86609876 edges, 196654 markings/sec, 215 secs
lola: 47145220 markings, 88482881 edges, 195018 markings/sec, 220 secs
lola: 48108803 markings, 90351446 edges, 192717 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 12 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5181472 KB
lola: time consumption: 996 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 12 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5185352 KB
lola: time consumption: 997 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(AktP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(AktP3)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-25-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: 25
lola: 1393016 markings, 2386588 edges, 278603 markings/sec, 0 secs
lola: 2626004 markings, 4558863 edges, 246598 markings/sec, 5 secs
lola: 3830168 markings, 6684871 edges, 240833 markings/sec, 10 secs
lola: 4982019 markings, 8751381 edges, 230370 markings/sec, 15 secs
lola: 6118561 markings, 10796952 edges, 227308 markings/sec, 20 secs
lola: 7211464 markings, 12788364 edges, 218581 markings/sec, 25 secs
lola: 8324362 markings, 14791380 edges, 222580 markings/sec, 30 secs
lola: 9417143 markings, 16773233 edges, 218556 markings/sec, 35 secs
lola: 10502701 markings, 18745075 edges, 217112 markings/sec, 40 secs
lola: 11570492 markings, 20692856 edges, 213558 markings/sec, 45 secs
lola: 12643156 markings, 22645857 edges, 214533 markings/sec, 50 secs
lola: 13696851 markings, 24572187 edges, 210739 markings/sec, 55 secs
lola: 14741333 markings, 26488512 edges, 208896 markings/sec, 60 secs
lola: 15772130 markings, 28380152 edges, 206159 markings/sec, 65 secs
lola: 16813632 markings, 30290400 edges, 208300 markings/sec, 70 secs
lola: 17854405 markings, 32201688 edges, 208155 markings/sec, 75 secs
lola: 18890691 markings, 34105654 edges, 207257 markings/sec, 80 secs
lola: 19938720 markings, 36018524 edges, 209606 markings/sec, 85 secs
lola: 20961672 markings, 37907593 edges, 204590 markings/sec, 90 secs
lola: 21985148 markings, 39794506 edges, 204695 markings/sec, 95 secs
lola: 22984148 markings, 41647986 edges, 199800 markings/sec, 100 secs
lola: 23987205 markings, 43511930 edges, 200611 markings/sec, 105 secs
lola: 24995945 markings, 45372870 edges, 201748 markings/sec, 110 secs
lola: 26020929 markings, 47254266 edges, 204997 markings/sec, 115 secs
lola: 27054174 markings, 49141796 edges, 206649 markings/sec, 120 secs
lola: 28045292 markings, 50976862 edges, 198224 markings/sec, 125 secs
lola: 29043249 markings, 52824433 edges, 199591 markings/sec, 130 secs
lola: 30033306 markings, 54655550 edges, 198011 markings/sec, 135 secs
lola: 31018819 markings, 56467294 edges, 197103 markings/sec, 140 secs
lola: 32005487 markings, 58293103 edges, 197334 markings/sec, 145 secs
lola: 33002375 markings, 60136616 edges, 199378 markings/sec, 150 secs
lola: 33989635 markings, 61966970 edges, 197452 markings/sec, 155 secs
lola: 34971489 markings, 63789382 edges, 196371 markings/sec, 160 secs
lola: 35958654 markings, 65626533 edges, 197433 markings/sec, 165 secs
lola: 36935607 markings, 67435305 edges, 195391 markings/sec, 170 secs
lola: 37915932 markings, 69247765 edges, 196065 markings/sec, 175 secs
lola: 38908782 markings, 71083918 edges, 198570 markings/sec, 180 secs
lola: 39903256 markings, 72913499 edges, 198895 markings/sec, 185 secs
lola: 40867265 markings, 74709583 edges, 192802 markings/sec, 190 secs
lola: 41836333 markings, 76506680 edges, 193814 markings/sec, 195 secs
lola: 42799988 markings, 78305590 edges, 192731 markings/sec, 200 secs
lola: 43766991 markings, 80105847 edges, 193401 markings/sec, 205 secs
lola: 44751190 markings, 81920474 edges, 196840 markings/sec, 210 secs
lola: 45718012 markings, 83716444 edges, 193364 markings/sec, 215 secs
lola: 46678735 markings, 85511863 edges, 192145 markings/sec, 220 secs
lola: 47628624 markings, 87296190 edges, 189978 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 12 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4733180 KB
lola: time consumption: 1250 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 12 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4764868 KB
lola: time consumption: 1253 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 229 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-25-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: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 176 markings, 200 edges
lola: ========================================

FORMULA Angiogenesis-PT-25-UpperBounds-6 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(PtP3P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PtP3P2)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-25-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: 12
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 729 markings, 1113 edges
lola: ========================================

FORMULA Angiogenesis-PT-25-UpperBounds-7 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 287 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-25-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: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 176 markings, 200 edges
lola: ========================================

FORMULA Angiogenesis-PT-25-UpperBounds-8 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 328 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3k)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarP3k)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-25-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: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 76 markings, 99 edges
lola: ========================================

FORMULA Angiogenesis-PT-25-UpperBounds-9 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 383 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStar)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-25-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: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 51 markings, 50 edges

FORMULA Angiogenesis-PT-25-UpperBounds-10 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 459 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-25-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: 25
lola: 1287091 markings, 2247975 edges, 257418 markings/sec, 0 secs
lola: 2483521 markings, 4377246 edges, 239286 markings/sec, 5 secs
lola: 3640209 markings, 6452370 edges, 231338 markings/sec, 10 secs
lola: 4780882 markings, 8503346 edges, 228135 markings/sec, 15 secs
lola: 5896010 markings, 10524442 edges, 223026 markings/sec, 20 secs
lola: 6998932 markings, 12524728 edges, 220584 markings/sec, 25 secs
lola: 8101867 markings, 14516158 edges, 220587 markings/sec, 30 secs
lola: 9197580 markings, 16502249 edges, 219143 markings/sec, 35 secs
lola: 10287415 markings, 18481290 edges, 217967 markings/sec, 40 secs
lola: 11394192 markings, 20478905 edges, 221355 markings/sec, 45 secs
lola: 12458153 markings, 22419121 edges, 212792 markings/sec, 50 secs
lola: 13534873 markings, 24376108 edges, 215344 markings/sec, 55 secs
lola: 14596831 markings, 26312244 edges, 212392 markings/sec, 60 secs
lola: 15651908 markings, 28241080 edges, 211015 markings/sec, 65 secs
lola: 16672342 markings, 30130753 edges, 204087 markings/sec, 70 secs
lola: 17699608 markings, 32021194 edges, 205453 markings/sec, 75 secs
lola: 18719782 markings, 33902395 edges, 204035 markings/sec, 80 secs
lola: 19751624 markings, 35796085 edges, 206368 markings/sec, 85 secs
lola: 20789676 markings, 37697898 edges, 207610 markings/sec, 90 secs
lola: 21807783 markings, 39574906 edges, 203621 markings/sec, 95 secs
lola: 22823453 markings, 41452770 edges, 203134 markings/sec, 100 secs
lola: 23845725 markings, 43324310 edges, 204454 markings/sec, 105 secs
lola: 24846485 markings, 45173131 edges, 200152 markings/sec, 110 secs
lola: 25845639 markings, 47010499 edges, 199831 markings/sec, 115 secs
lola: 26857605 markings, 48866938 edges, 202393 markings/sec, 120 secs
lola: 27853060 markings, 50716030 edges, 199091 markings/sec, 125 secs
lola: 28856899 markings, 52565736 edges, 200768 markings/sec, 130 secs
lola: 29861150 markings, 54416219 edges, 200850 markings/sec, 135 secs
lola: 30858708 markings, 56265183 edges, 199512 markings/sec, 140 secs
lola: 31843351 markings, 58101641 edges, 196929 markings/sec, 145 secs
lola: 32842211 markings, 59948495 edges, 199772 markings/sec, 150 secs
lola: 33836477 markings, 61790958 edges, 198853 markings/sec, 155 secs
lola: 34843672 markings, 63644508 edges, 201439 markings/sec, 160 secs
lola: 35852341 markings, 65499731 edges, 201734 markings/sec, 165 secs
lola: 36849574 markings, 67343491 edges, 199447 markings/sec, 170 secs
lola: 37823383 markings, 69158792 edges, 194762 markings/sec, 175 secs
lola: 38796658 markings, 70967225 edges, 194655 markings/sec, 180 secs
lola: 39780849 markings, 72794953 edges, 196838 markings/sec, 185 secs
lola: 40757063 markings, 74613906 edges, 195243 markings/sec, 190 secs
lola: 41743131 markings, 76447513 edges, 197214 markings/sec, 195 secs
lola: 42737868 markings, 78286314 edges, 198947 markings/sec, 200 secs
lola: 43713807 markings, 80086996 edges, 195188 markings/sec, 205 secs
lola: 44673636 markings, 81864874 edges, 191966 markings/sec, 210 secs
lola: 45639666 markings, 83657700 edges, 193206 markings/sec, 215 secs
lola: 46591394 markings, 85437160 edges, 190346 markings/sec, 220 secs
lola: 47553330 markings, 87224228 edges, 192387 markings/sec, 225 secs
lola: 48541443 markings, 89048402 edges, 197623 markings/sec, 230 secs
lola: 49490949 markings, 90820818 edges, 189901 markings/sec, 235 secs
lola: 50428946 markings, 92566225 edges, 187599 markings/sec, 240 secs
lola: 51387599 markings, 94345354 edges, 191731 markings/sec, 245 secs
lola: 52354870 markings, 96138337 edges, 193454 markings/sec, 250 secs
lola: 53333644 markings, 97952469 edges, 195755 markings/sec, 255 secs
lola: 54273924 markings, 99705356 edges, 188056 markings/sec, 260 secs
lola: 55226339 markings, 101485741 edges, 190483 markings/sec, 265 secs
lola: 56188147 markings, 103275308 edges, 192362 markings/sec, 270 secs
lola: 57134654 markings, 105042713 edges, 189301 markings/sec, 275 secs
lola: 58093537 markings, 106829358 edges, 191777 markings/sec, 280 secs
lola: 59043764 markings, 108603703 edges, 190045 markings/sec, 285 secs
lola: 60000809 markings, 110381871 edges, 191409 markings/sec, 290 secs
lola: 60963815 markings, 112167785 edges, 192601 markings/sec, 295 secs
lola: 61903332 markings, 113917786 edges, 187903 markings/sec, 300 secs
lola: 62837953 markings, 115663061 edges, 186924 markings/sec, 305 secs
lola: 63775898 markings, 117415193 edges, 187589 markings/sec, 310 secs
lola: 64733575 markings, 119186344 edges, 191535 markings/sec, 315 secs
lola: 65674338 markings, 120941684 edges, 188153 markings/sec, 320 secs
lola: 66641829 markings, 122733600 edges, 193498 markings/sec, 325 secs
lola: 67596182 markings, 124509729 edges, 190871 markings/sec, 330 secs
lola: 68532142 markings, 126259923 edges, 187192 markings/sec, 335 secs
lola: 69470382 markings, 128010507 edges, 187648 markings/sec, 340 secs
lola: 70403000 markings, 129752481 edges, 186524 markings/sec, 345 secs
lola: 71343028 markings, 131510098 edges, 188006 markings/sec, 350 secs
lola: 72287089 markings, 133272254 edges, 188812 markings/sec, 355 secs
lola: 73212327 markings, 135011296 edges, 185048 markings/sec, 360 secs
lola: 74138310 markings, 136746779 edges, 185197 markings/sec, 365 secs
lola: 75066839 markings, 138495786 edges, 185706 markings/sec, 370 secs
lola: 76003379 markings, 140245893 edges, 187308 markings/sec, 375 secs
lola: 76939836 markings, 141989644 edges, 187291 markings/sec, 380 secs
lola: 77884516 markings, 143747896 edges, 188936 markings/sec, 385 secs
lola: 78813708 markings, 145485694 edges, 185838 markings/sec, 390 secs
lola: 79744875 markings, 147233859 edges, 186233 markings/sec, 395 secs
lola: 80650159 markings, 148944080 edges, 181057 markings/sec, 400 secs
lola: 81603996 markings, 150714936 edges, 190767 markings/sec, 405 secs
lola: 82525922 markings, 152438763 edges, 184385 markings/sec, 410 secs
lola: 83474648 markings, 154198597 edges, 189745 markings/sec, 415 secs
lola: 84400589 markings, 155935006 edges, 185188 markings/sec, 420 secs
lola: 85359288 markings, 157700658 edges, 191740 markings/sec, 425 secs
lola: 86276512 markings, 159428496 edges, 183445 markings/sec, 430 secs
lola: 87196166 markings, 161154205 edges, 183931 markings/sec, 435 secs
lola: 88119577 markings, 162885833 edges, 184682 markings/sec, 440 secs
lola: 89042578 markings, 164609900 edges, 184600 markings/sec, 445 secs
lola: 89963053 markings, 166333313 edges, 184095 markings/sec, 450 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 12 unknown unknown unknown unknown 25 12 25 25 25 unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 12 unknown unknown unknown unknown 25 12 25 25 25 unknown unknown unknown unknown unknown
lola: memory consumption: 8634880 KB
lola: time consumption: 1731 seconds
lola: memory consumption: 8635312 KB
lola: time consumption: 1732 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 454 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-25-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: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Angiogenesis-PT-25-UpperBounds-12 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 605 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPgStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPgStar)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-25-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: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 176 markings, 200 edges
lola: ========================================

FORMULA Angiogenesis-PT-25-UpperBounds-13 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 908 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-25-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: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 26 markings, 25 edges

FORMULA Angiogenesis-PT-25-UpperBounds-14 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 1816 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-25-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: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 0 markings, 0 edges

FORMULA Angiogenesis-PT-25-UpperBounds-15 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
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-25-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: 25
lola: 1217881 markings, 2254343 edges, 243576 markings/sec, 0 secs
lola: 2382589 markings, 4393385 edges, 232942 markings/sec, 5 secs
lola: 3512936 markings, 6481209 edges, 226069 markings/sec, 10 secs
lola: 4631477 markings, 8552234 edges, 223708 markings/sec, 15 secs
lola: 5743049 markings, 10609966 edges, 222314 markings/sec, 20 secs
lola: 6829532 markings, 12631108 edges, 217297 markings/sec, 25 secs
lola: 7911156 markings, 14648490 edges, 216325 markings/sec, 30 secs
lola: 8987769 markings, 16657677 edges, 215323 markings/sec, 35 secs
lola: 10069828 markings, 18664205 edges, 216412 markings/sec, 40 secs
lola: 11148689 markings, 20669697 edges, 215772 markings/sec, 45 secs
lola: 12212616 markings, 22650851 edges, 212785 markings/sec, 50 secs
lola: 13267470 markings, 24621863 edges, 210971 markings/sec, 55 secs
lola: 14343677 markings, 26614814 edges, 215241 markings/sec, 60 secs
lola: 15399085 markings, 28588291 edges, 211082 markings/sec, 65 secs
lola: 16440191 markings, 30537877 edges, 208221 markings/sec, 70 secs
lola: 17491371 markings, 32498820 edges, 210236 markings/sec, 75 secs
lola: 18530782 markings, 34443390 edges, 207882 markings/sec, 80 secs
lola: 19563031 markings, 36382796 edges, 206450 markings/sec, 85 secs
lola: 20599817 markings, 38324235 edges, 207357 markings/sec, 90 secs
lola: 21642513 markings, 40277914 edges, 208539 markings/sec, 95 secs
lola: 22691268 markings, 42226264 edges, 209751 markings/sec, 100 secs
lola: 23729779 markings, 44168960 edges, 207702 markings/sec, 105 secs
lola: 24783331 markings, 46130969 edges, 210710 markings/sec, 110 secs
lola: 25832196 markings, 48087953 edges, 209773 markings/sec, 115 secs
lola: 26866037 markings, 50026460 edges, 206768 markings/sec, 120 secs
lola: 27881900 markings, 51942173 edges, 203173 markings/sec, 125 secs
lola: 28914243 markings, 53878930 edges, 206469 markings/sec, 130 secs
lola: 29950635 markings, 55819609 edges, 207278 markings/sec, 135 secs
lola: 30979175 markings, 57751623 edges, 205708 markings/sec, 140 secs
lola: 31999495 markings, 59672440 edges, 204064 markings/sec, 145 secs
lola: 33011239 markings, 61582386 edges, 202349 markings/sec, 150 secs
lola: 34027994 markings, 63498754 edges, 203351 markings/sec, 155 secs
lola: 35032696 markings, 65402455 edges, 200940 markings/sec, 160 secs
lola: 36038636 markings, 67304471 edges, 201188 markings/sec, 165 secs
lola: 37047563 markings, 69213144 edges, 201785 markings/sec, 170 secs
lola: 38053631 markings, 71121928 edges, 201214 markings/sec, 175 secs
lola: 39048132 markings, 73010156 edges, 198900 markings/sec, 180 secs
lola: 40031610 markings, 74887076 edges, 196696 markings/sec, 185 secs
lola: 41023694 markings, 76777518 edges, 198417 markings/sec, 190 secs
lola: 42011943 markings, 78661591 edges, 197650 markings/sec, 195 secs
lola: 42990387 markings, 80539704 edges, 195689 markings/sec, 200 secs
lola: 43986162 markings, 82429157 edges, 199155 markings/sec, 205 secs
lola: 44971919 markings, 84313063 edges, 197151 markings/sec, 210 secs
lola: 45952147 markings, 86190350 edges, 196046 markings/sec, 215 secs
lola: 46919710 markings, 88050308 edges, 193513 markings/sec, 220 secs
lola: 47889430 markings, 89923654 edges, 193944 markings/sec, 225 secs
lola: 48863676 markings, 91793388 edges, 194849 markings/sec, 230 secs
lola: 49823687 markings, 93642012 edges, 192002 markings/sec, 235 secs
lola: 50787506 markings, 95500250 edges, 192764 markings/sec, 240 secs
lola: 51746705 markings, 97363370 edges, 191840 markings/sec, 245 secs
lola: 52707814 markings, 99217165 edges, 192222 markings/sec, 250 secs
lola: 53665647 markings, 101063768 edges, 191567 markings/sec, 255 secs
lola: 54619085 markings, 102922422 edges, 190688 markings/sec, 260 secs
lola: 55558533 markings, 104760302 edges, 187890 markings/sec, 265 secs
lola: 56499047 markings, 106586124 edges, 188103 markings/sec, 270 secs
lola: 57439805 markings, 108418554 edges, 188152 markings/sec, 275 secs
lola: 58377129 markings, 110246727 edges, 187465 markings/sec, 280 secs
lola: 59314447 markings, 112085577 edges, 187464 markings/sec, 285 secs
lola: 60247070 markings, 113913499 edges, 186525 markings/sec, 290 secs
lola: 61178105 markings, 115737407 edges, 186207 markings/sec, 295 secs
lola: 62078254 markings, 117504739 edges, 180030 markings/sec, 300 secs
lola: 63008168 markings, 119330195 edges, 185983 markings/sec, 305 secs
lola: 63949331 markings, 121157842 edges, 188233 markings/sec, 310 secs
lola: 64882289 markings, 122978467 edges, 186592 markings/sec, 315 secs
lola: 65806971 markings, 124796097 edges, 184936 markings/sec, 320 secs
lola: 66738973 markings, 126616922 edges, 186400 markings/sec, 325 secs
lola: 67666488 markings, 128442865 edges, 185503 markings/sec, 330 secs
lola: 68580259 markings, 130246273 edges, 182754 markings/sec, 335 secs
lola: 69506554 markings, 132051719 edges, 185259 markings/sec, 340 secs
lola: 70419177 markings, 133853788 edges, 182525 markings/sec, 345 secs
lola: 71335723 markings, 135654474 edges, 183309 markings/sec, 350 secs
lola: 72250257 markings, 137461867 edges, 182907 markings/sec, 355 secs
lola: 73172562 markings, 139273798 edges, 184461 markings/sec, 360 secs
lola: 74093445 markings, 141075908 edges, 184177 markings/sec, 365 secs
lola: 75010712 markings, 142868280 edges, 183453 markings/sec, 370 secs
lola: 75913430 markings, 144660478 edges, 180544 markings/sec, 375 secs
lola: 76823783 markings, 146464368 edges, 182071 markings/sec, 380 secs
lola: 77722166 markings, 148248397 edges, 179677 markings/sec, 385 secs
lola: 78631065 markings, 150033924 edges, 181780 markings/sec, 390 secs
lola: 79531617 markings, 151813832 edges, 180110 markings/sec, 395 secs
lola: 80442758 markings, 153602943 edges, 182228 markings/sec, 400 secs
lola: 81335869 markings, 155368442 edges, 178622 markings/sec, 405 secs
lola: 82240429 markings, 157147640 edges, 180912 markings/sec, 410 secs
lola: 83130300 markings, 158911195 edges, 177974 markings/sec, 415 secs
lola: 84024424 markings, 160685834 edges, 178825 markings/sec, 420 secs
lola: 84921912 markings, 162463137 edges, 179498 markings/sec, 425 secs
lola: 85812248 markings, 164229496 edges, 178067 markings/sec, 430 secs
lola: 86715927 markings, 165998924 edges, 180736 markings/sec, 435 secs
lola: 87591097 markings, 167749998 edges, 175034 markings/sec, 440 secs
lola: 88487946 markings, 169514841 edges, 179370 markings/sec, 445 secs
lola: 89347765 markings, 171249801 edges, 171964 markings/sec, 450 secs
lola: 90227319 markings, 173002523 edges, 175911 markings/sec, 455 secs
lola: 91107782 markings, 174755686 edges, 176093 markings/sec, 460 secs
lola: 91993506 markings, 176512752 edges, 177145 markings/sec, 465 secs
lola: 92864631 markings, 178257039 edges, 174225 markings/sec, 470 secs
lola: 93734126 markings, 180003544 edges, 173899 markings/sec, 475 secs
lola: 94617019 markings, 181758319 edges, 176579 markings/sec, 480 secs
lola: 95493043 markings, 183503605 edges, 175205 markings/sec, 485 secs
lola: 96367166 markings, 185244110 edges, 174825 markings/sec, 490 secs
lola: 97230193 markings, 186979060 edges, 172605 markings/sec, 495 secs
lola: 98108404 markings, 188728634 edges, 175642 markings/sec, 500 secs
lola: 98988962 markings, 190485868 edges, 176112 markings/sec, 505 secs
lola: 99852632 markings, 192217838 edges, 172734 markings/sec, 510 secs
lola: 100729721 markings, 193952194 edges, 175418 markings/sec, 515 secs
lola: 101612658 markings, 195696310 edges, 176587 markings/sec, 520 secs
lola: 102487748 markings, 197436678 edges, 175018 markings/sec, 525 secs
lola: 103361343 markings, 199170707 edges, 174719 markings/sec, 530 secs
lola: 104225000 markings, 200895827 edges, 172731 markings/sec, 535 secs
lola: 105110423 markings, 202641374 edges, 177085 markings/sec, 540 secs
lola: 105981363 markings, 204371780 edges, 174188 markings/sec, 545 secs
lola: 106859625 markings, 206110739 edges, 175652 markings/sec, 550 secs
lola: 107712740 markings, 207827388 edges, 170623 markings/sec, 555 secs
lola: 108559445 markings, 209546733 edges, 169341 markings/sec, 560 secs
lola: 109423683 markings, 211277144 edges, 172848 markings/sec, 565 secs
lola: 110275000 markings, 212994473 edges, 170263 markings/sec, 570 secs
lola: 111142093 markings, 214728763 edges, 173419 markings/sec, 575 secs
lola: 111997239 markings, 216456686 edges, 171029 markings/sec, 580 secs
lola: 112869484 markings, 218185389 edges, 174449 markings/sec, 585 secs
lola: 113731652 markings, 219909232 edges, 172434 markings/sec, 590 secs
lola: 114586838 markings, 221631503 edges, 171037 markings/sec, 595 secs
lola: 115432497 markings, 223346559 edges, 169132 markings/sec, 600 secs
lola: 116281397 markings, 225063627 edges, 169780 markings/sec, 605 secs
lola: 117135013 markings, 226780919 edges, 170723 markings/sec, 610 secs
lola: 117991842 markings, 228499913 edges, 171366 markings/sec, 615 secs
lola: 118836980 markings, 230204552 edges, 169028 markings/sec, 620 secs
lola: 119684898 markings, 231911632 edges, 169584 markings/sec, 625 secs
lola: 120518392 markings, 233613332 edges, 166699 markings/sec, 630 secs
lola: 121360673 markings, 235324820 edges, 168456 markings/sec, 635 secs
lola: 122214936 markings, 237035514 edges, 170853 markings/sec, 640 secs
lola: 123039878 markings, 238712761 edges, 164988 markings/sec, 645 secs
lola: 123867771 markings, 240391439 edges, 165579 markings/sec, 650 secs
lola: 124709316 markings, 242079170 edges, 168309 markings/sec, 655 secs
lola: 125529376 markings, 243761170 edges, 164012 markings/sec, 660 secs
lola: 126365594 markings, 245442771 edges, 167244 markings/sec, 665 secs
lola: 127216881 markings, 247141106 edges, 170257 markings/sec, 670 secs
lola: 128054432 markings, 248825058 edges, 167510 markings/sec, 675 secs
lola: 128895528 markings, 250513645 edges, 168219 markings/sec, 680 secs
lola: 129743433 markings, 252219877 edges, 169581 markings/sec, 685 secs
lola: 130594607 markings, 253926259 edges, 170235 markings/sec, 690 secs
lola: 131422996 markings, 255613363 edges, 165678 markings/sec, 695 secs
lola: 132238213 markings, 257280717 edges, 163043 markings/sec, 700 secs
lola: 133066289 markings, 258962460 edges, 165615 markings/sec, 705 secs
lola: 133908349 markings, 260650001 edges, 168412 markings/sec, 710 secs
lola: 134753381 markings, 262338214 edges, 169006 markings/sec, 715 secs
lola: 135574723 markings, 264015380 edges, 164268 markings/sec, 720 secs
lola: 136404245 markings, 265698476 edges, 165904 markings/sec, 725 secs
lola: 137241413 markings, 267384444 edges, 167434 markings/sec, 730 secs
lola: 138083104 markings, 269078259 edges, 168338 markings/sec, 735 secs
lola: 138898072 markings, 270726586 edges, 162994 markings/sec, 740 secs
lola: 139736786 markings, 272413257 edges, 167743 markings/sec, 745 secs
lola: 140557386 markings, 274090386 edges, 164120 markings/sec, 750 secs
lola: 141392745 markings, 275780082 edges, 167072 markings/sec, 755 secs
lola: 142218973 markings, 277459209 edges, 165246 markings/sec, 760 secs
lola: 143056040 markings, 279138639 edges, 167413 markings/sec, 765 secs
lola: 143877985 markings, 280808688 edges, 164389 markings/sec, 770 secs
lola: 144693213 markings, 282471451 edges, 163046 markings/sec, 775 secs
lola: 145533304 markings, 284158236 edges, 168018 markings/sec, 780 secs
lola: 146366873 markings, 285846024 edges, 166714 markings/sec, 785 secs
lola: 147194343 markings, 287526093 edges, 165494 markings/sec, 790 secs
lola: 148025966 markings, 289209951 edges, 166325 markings/sec, 795 secs
lola: 148855629 markings, 290881903 edges, 165933 markings/sec, 800 secs
lola: 149669364 markings, 292544395 edges, 162747 markings/sec, 805 secs
lola: 150015741 markings, 293260496 edges, 69275 markings/sec, 810 secs
lola: 150039175 markings, 293308512 edges, 4687 markings/sec, 815 secs
lola: 150085762 markings, 293397298 edges, 9317 markings/sec, 820 secs
lola: 150104864 markings, 293434132 edges, 3820 markings/sec, 825 secs
lola: 150114234 markings, 293451371 edges, 1874 markings/sec, 830 secs
lola: 150120464 markings, 293464459 edges, 1246 markings/sec, 835 secs
lola: 150166249 markings, 293555543 edges, 9157 markings/sec, 840 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA Angiogenesis-PT-25-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPgStarP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPgStarP2)
lola: processed formula length: 24
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-25-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: 25
lola: 1223042 markings, 2355839 edges, 244608 markings/sec, 0 secs
lola: 2313636 markings, 4536532 edges, 218119 markings/sec, 5 secs
lola: 3332462 markings, 6608121 edges, 203765 markings/sec, 10 secs
lola: 4305375 markings, 8623946 edges, 194583 markings/sec, 15 secs
lola: 5290812 markings, 10639033 edges, 197087 markings/sec, 20 secs
lola: 6257670 markings, 12620443 edges, 193372 markings/sec, 25 secs
lola: 7189271 markings, 14564506 edges, 186320 markings/sec, 30 secs
lola: 8112946 markings, 16491096 edges, 184735 markings/sec, 35 secs
lola: 9028033 markings, 18404120 edges, 183017 markings/sec, 40 secs
lola: 9940592 markings, 20307292 edges, 182512 markings/sec, 45 secs
lola: 10827513 markings, 22187960 edges, 177384 markings/sec, 50 secs
lola: 11709173 markings, 24048072 edges, 176332 markings/sec, 55 secs
lola: 12585180 markings, 25909033 edges, 175201 markings/sec, 60 secs
lola: 13453175 markings, 27737402 edges, 173599 markings/sec, 65 secs
lola: 14316734 markings, 29557046 edges, 172712 markings/sec, 70 secs
lola: 15179113 markings, 31370910 edges, 172476 markings/sec, 75 secs
lola: 16029769 markings, 33178533 edges, 170131 markings/sec, 80 secs
lola: 16876088 markings, 34983691 edges, 169264 markings/sec, 85 secs
lola: 17715098 markings, 36779624 edges, 167802 markings/sec, 90 secs
lola: 18583818 markings, 38589639 edges, 173744 markings/sec, 95 secs
lola: 19439794 markings, 40399519 edges, 171195 markings/sec, 100 secs
lola: 20278591 markings, 42183956 edges, 167759 markings/sec, 105 secs
lola: 21102288 markings, 43951932 edges, 164739 markings/sec, 110 secs
lola: 21915947 markings, 45705203 edges, 162732 markings/sec, 115 secs
lola: 22753087 markings, 47481664 edges, 167428 markings/sec, 120 secs
lola: 23563215 markings, 49223360 edges, 162026 markings/sec, 125 secs
lola: 24373275 markings, 50956617 edges, 162012 markings/sec, 130 secs
lola: 25181372 markings, 52694612 edges, 161619 markings/sec, 135 secs
lola: 25981650 markings, 54421921 edges, 160056 markings/sec, 140 secs
lola: 26781803 markings, 56140644 edges, 160031 markings/sec, 145 secs
lola: 27580345 markings, 57848997 edges, 159708 markings/sec, 150 secs
lola: 28366898 markings, 59548088 edges, 157311 markings/sec, 155 secs
lola: 29149446 markings, 61251118 edges, 156510 markings/sec, 160 secs
lola: 29934170 markings, 62949790 edges, 156945 markings/sec, 165 secs
lola: 30724407 markings, 64653867 edges, 158047 markings/sec, 170 secs
lola: 31498309 markings, 66336521 edges, 154780 markings/sec, 175 secs
lola: 32271438 markings, 68021920 edges, 154626 markings/sec, 180 secs
lola: 33054187 markings, 69722146 edges, 156550 markings/sec, 185 secs
lola: 33841549 markings, 71421881 edges, 157472 markings/sec, 190 secs
lola: 34644063 markings, 73143176 edges, 160503 markings/sec, 195 secs
lola: 35422574 markings, 74829297 edges, 155702 markings/sec, 200 secs
lola: 36225454 markings, 76536649 edges, 160576 markings/sec, 205 secs
lola: 36998925 markings, 78216732 edges, 154694 markings/sec, 210 secs
lola: 37773502 markings, 79895755 edges, 154915 markings/sec, 215 secs
lola: 38544701 markings, 81563739 edges, 154240 markings/sec, 220 secs
lola: 39315996 markings, 83234270 edges, 154259 markings/sec, 225 secs
lola: 40090447 markings, 84904779 edges, 154890 markings/sec, 230 secs
lola: 40861096 markings, 86565608 edges, 154130 markings/sec, 235 secs
lola: 41623353 markings, 88228880 edges, 152451 markings/sec, 240 secs
lola: 42382871 markings, 89893952 edges, 151904 markings/sec, 245 secs
lola: 43138049 markings, 91532151 edges, 151036 markings/sec, 250 secs
lola: 43882821 markings, 93167243 edges, 148954 markings/sec, 255 secs
lola: 44636384 markings, 94807486 edges, 150713 markings/sec, 260 secs
lola: 45404524 markings, 96461979 edges, 153628 markings/sec, 265 secs
lola: 46166357 markings, 98118479 edges, 152367 markings/sec, 270 secs
lola: 46904596 markings, 99731778 edges, 147648 markings/sec, 275 secs
lola: 47654086 markings, 101363056 edges, 149898 markings/sec, 280 secs
lola: 48437671 markings, 103028672 edges, 156717 markings/sec, 285 secs
lola: 49194962 markings, 104673173 edges, 151458 markings/sec, 290 secs
lola: 49973816 markings, 106329904 edges, 155771 markings/sec, 295 secs
lola: 50712204 markings, 107933576 edges, 147678 markings/sec, 300 secs
lola: 51429675 markings, 109527463 edges, 143494 markings/sec, 305 secs
lola: 52169048 markings, 111140430 edges, 147875 markings/sec, 310 secs
lola: 52912468 markings, 112755514 edges, 148684 markings/sec, 315 secs
lola: 53677136 markings, 114391137 edges, 152934 markings/sec, 320 secs
lola: 54444486 markings, 116027358 edges, 153470 markings/sec, 325 secs
lola: 55187543 markings, 117635181 edges, 148611 markings/sec, 330 secs
lola: 55937934 markings, 119256947 edges, 150078 markings/sec, 335 secs
lola: 56690170 markings, 120885918 edges, 150447 markings/sec, 340 secs
lola: 57411383 markings, 122467046 edges, 144243 markings/sec, 345 secs
lola: 58141083 markings, 124064779 edges, 145940 markings/sec, 350 secs
lola: 58890660 markings, 125685686 edges, 149915 markings/sec, 355 secs
lola: 59624009 markings, 127298018 edges, 146670 markings/sec, 360 secs
lola: 60359327 markings, 128898937 edges, 147064 markings/sec, 365 secs
lola: 61096166 markings, 130497134 edges, 147368 markings/sec, 370 secs
lola: 61809445 markings, 132069393 edges, 142656 markings/sec, 375 secs
lola: 62526315 markings, 133644037 edges, 143374 markings/sec, 380 secs
lola: 63274140 markings, 135249881 edges, 149565 markings/sec, 385 secs
lola: 63992741 markings, 136830581 edges, 143720 markings/sec, 390 secs
lola: 64693948 markings, 138380752 edges, 140241 markings/sec, 395 secs
lola: 65436102 markings, 139983326 edges, 148431 markings/sec, 400 secs
lola: 66175117 markings, 141585911 edges, 147803 markings/sec, 405 secs
lola: 66889767 markings, 143153774 edges, 142930 markings/sec, 410 secs
lola: 67613301 markings, 144723753 edges, 144707 markings/sec, 415 secs
lola: 68341601 markings, 146313997 edges, 145660 markings/sec, 420 secs
lola: 69046892 markings, 147877310 edges, 141058 markings/sec, 425 secs
lola: 69767413 markings, 149442079 edges, 144104 markings/sec, 430 secs
lola: 70492980 markings, 151019825 edges, 145113 markings/sec, 435 secs
lola: 71217573 markings, 152584470 edges, 144919 markings/sec, 440 secs
lola: 71933502 markings, 154148195 edges, 143186 markings/sec, 445 secs
lola: 72648772 markings, 155707374 edges, 143054 markings/sec, 450 secs
lola: 73376007 markings, 157280660 edges, 145447 markings/sec, 455 secs
lola: 74083045 markings, 158833446 edges, 141408 markings/sec, 460 secs
lola: 74796936 markings, 160390855 edges, 142778 markings/sec, 465 secs
lola: 75499676 markings, 161944296 edges, 140548 markings/sec, 470 secs
lola: 76221061 markings, 163517138 edges, 144277 markings/sec, 475 secs
lola: 76933156 markings, 165080415 edges, 142419 markings/sec, 480 secs
lola: 77622988 markings, 166615819 edges, 137966 markings/sec, 485 secs
lola: 78328556 markings, 168166364 edges, 141114 markings/sec, 490 secs
lola: 79037409 markings, 169721392 edges, 141771 markings/sec, 495 secs
lola: 79726982 markings, 171252440 edges, 137915 markings/sec, 500 secs
lola: 80416853 markings, 172782637 edges, 137974 markings/sec, 505 secs
lola: 81113527 markings, 174328638 edges, 139335 markings/sec, 510 secs
lola: 81814206 markings, 175871356 edges, 140136 markings/sec, 515 secs
lola: 82503818 markings, 177389807 edges, 137922 markings/sec, 520 secs
lola: 83226705 markings, 178954012 edges, 144577 markings/sec, 525 secs
lola: 83931735 markings, 180498518 edges, 141006 markings/sec, 530 secs
lola: 84619446 markings, 182029648 edges, 137542 markings/sec, 535 secs
lola: 85328834 markings, 183581326 edges, 141878 markings/sec, 540 secs
lola: 86003140 markings, 185098963 edges, 134861 markings/sec, 545 secs
lola: 86706120 markings, 186644371 edges, 140596 markings/sec, 550 secs
lola: 87442532 markings, 188238633 edges, 147282 markings/sec, 555 secs
lola: 88146569 markings, 189779425 edges, 140807 markings/sec, 560 secs
lola: 88831505 markings, 191305917 edges, 136987 markings/sec, 565 secs
lola: 89534099 markings, 192848065 edges, 140519 markings/sec, 570 secs
lola: 90230650 markings, 194373053 edges, 139310 markings/sec, 575 secs
lola: 90943800 markings, 195932021 edges, 142630 markings/sec, 580 secs
lola: 91633083 markings, 197450281 edges, 137857 markings/sec, 585 secs
lola: 92325210 markings, 198968341 edges, 138425 markings/sec, 590 secs
lola: 93032696 markings, 200503609 edges, 141497 markings/sec, 595 secs
lola: 93726837 markings, 202030094 edges, 138828 markings/sec, 600 secs
lola: 94424683 markings, 203559680 edges, 139569 markings/sec, 605 secs
lola: 95129040 markings, 205100362 edges, 140871 markings/sec, 610 secs
lola: 95816110 markings, 206622224 edges, 137414 markings/sec, 615 secs
lola: 96511364 markings, 208153976 edges, 139051 markings/sec, 620 secs
lola: 97204915 markings, 209688196 edges, 138710 markings/sec, 625 secs
lola: 97902629 markings, 211222841 edges, 139543 markings/sec, 630 secs
lola: 98578652 markings, 212728965 edges, 135205 markings/sec, 635 secs
lola: 99259905 markings, 214238131 edges, 136251 markings/sec, 640 secs
lola: 99941169 markings, 215753206 edges, 136253 markings/sec, 645 secs
lola: 100632238 markings, 217284482 edges, 138214 markings/sec, 650 secs
lola: 101347596 markings, 218834214 edges, 143072 markings/sec, 655 secs
lola: 102070404 markings, 220390661 edges, 144562 markings/sec, 660 secs
lola: 102742304 markings, 221891541 edges, 134380 markings/sec, 665 secs
lola: 103414948 markings, 223392817 edges, 134529 markings/sec, 670 secs
lola: 104097369 markings, 224904858 edges, 136484 markings/sec, 675 secs
lola: 104786810 markings, 226431579 edges, 137888 markings/sec, 680 secs
lola: 105457735 markings, 227921102 edges, 134185 markings/sec, 685 secs
lola: 106123557 markings, 229417726 edges, 133164 markings/sec, 690 secs
lola: 106797648 markings, 230925344 edges, 134818 markings/sec, 695 secs
lola: 107472913 markings, 232426041 edges, 135053 markings/sec, 700 secs
lola: 108171565 markings, 233948917 edges, 139730 markings/sec, 705 secs
lola: 108855030 markings, 235454827 edges, 136693 markings/sec, 710 secs
lola: 109523018 markings, 236954394 edges, 133598 markings/sec, 715 secs
lola: 110180437 markings, 238430206 edges, 131484 markings/sec, 720 secs
lola: 110834627 markings, 239883471 edges, 130838 markings/sec, 725 secs
lola: 111475693 markings, 241317070 edges, 128213 markings/sec, 730 secs
lola: 112136574 markings, 242785517 edges, 132176 markings/sec, 735 secs
lola: 112794888 markings, 244236842 edges, 131663 markings/sec, 740 secs
lola: 113449766 markings, 245687638 edges, 130976 markings/sec, 745 secs
lola: 114076322 markings, 247110283 edges, 125311 markings/sec, 750 secs
lola: 114720975 markings, 248552353 edges, 128931 markings/sec, 755 secs
lola: 115361655 markings, 249974705 edges, 128136 markings/sec, 760 secs
lola: 116009856 markings, 251415911 edges, 129640 markings/sec, 765 secs
lola: 116664246 markings, 252856562 edges, 130878 markings/sec, 770 secs
lola: 117333792 markings, 254323796 edges, 133909 markings/sec, 775 secs
lola: 117996191 markings, 255782784 edges, 132480 markings/sec, 780 secs
lola: 118669451 markings, 257257386 edges, 134652 markings/sec, 785 secs
lola: 119332067 markings, 258722271 edges, 132523 markings/sec, 790 secs
lola: 119977386 markings, 260166110 edges, 129064 markings/sec, 795 secs
lola: 120636570 markings, 261616518 edges, 131837 markings/sec, 800 secs
lola: 121306090 markings, 263088236 edges, 133904 markings/sec, 805 secs
lola: 121947875 markings, 264533817 edges, 128357 markings/sec, 810 secs
lola: 122611388 markings, 265995459 edges, 132703 markings/sec, 815 secs
lola: 123271844 markings, 267461160 edges, 132091 markings/sec, 820 secs
lola: 123930615 markings, 268938634 edges, 131754 markings/sec, 825 secs
lola: 124605712 markings, 270431587 edges, 135019 markings/sec, 830 secs
lola: 125250057 markings, 271878970 edges, 128869 markings/sec, 835 secs
lola: 125914770 markings, 273354770 edges, 132943 markings/sec, 840 secs
lola: 126566878 markings, 274817118 edges, 130422 markings/sec, 845 secs
lola: 127223077 markings, 276276772 edges, 131240 markings/sec, 850 secs
lola: 127867311 markings, 277718643 edges, 128847 markings/sec, 855 secs
lola: 128534119 markings, 279182203 edges, 133362 markings/sec, 860 secs
lola: 129196772 markings, 280644543 edges, 132531 markings/sec, 865 secs
lola: 129843996 markings, 282101055 edges, 129445 markings/sec, 870 secs
lola: 130478405 markings, 283541984 edges, 126882 markings/sec, 875 secs
lola: 131162509 markings, 285032482 edges, 136821 markings/sec, 880 secs
lola: 131806112 markings, 286465445 edges, 128721 markings/sec, 885 secs
lola: 132456964 markings, 287921457 edges, 130170 markings/sec, 890 secs
lola: 133099681 markings, 289363367 edges, 128543 markings/sec, 895 secs
lola: 133756846 markings, 290816384 edges, 131433 markings/sec, 900 secs
lola: 134416135 markings, 292271256 edges, 131858 markings/sec, 905 secs
lola: 135039084 markings, 293673058 edges, 124590 markings/sec, 910 secs
lola: 135686440 markings, 295100992 edges, 129471 markings/sec, 915 secs
lola: 136336157 markings, 296529650 edges, 129943 markings/sec, 920 secs
lola: 136977301 markings, 297960339 edges, 128229 markings/sec, 925 secs
lola: 137609848 markings, 299375848 edges, 126509 markings/sec, 930 secs
lola: 138256278 markings, 300804557 edges, 129286 markings/sec, 935 secs
lola: 138915548 markings, 302249619 edges, 131854 markings/sec, 940 secs
lola: 139562253 markings, 303683387 edges, 129341 markings/sec, 945 secs
lola: 140200704 markings, 305116196 edges, 127690 markings/sec, 950 secs
lola: 140831641 markings, 306545716 edges, 126187 markings/sec, 955 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 12 unknown unknown unknown unknown 25 12 25 25 25 unknown 25 25 25 25
lola:
preliminary result: unknown 12 unknown unknown unknown unknown 25 12 25 25 25 unknown 25 25 25 25
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 12 unknown unknown unknown unknown 25 12 25 25 25 unknown 25 25 25 25
lola: memory consumption: 13024 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 12 unknown unknown unknown unknown 25 12 25 25 25 unknown 25 25 25 25
lola:
preliminary result: unknown 12 unknown unknown unknown unknown 25 12 25 25 25 unknown 25 25 25 25
lola: memory consumption: 15764 KB
lola: time consumption: 3571 seconds

BK_STOP 1526632317684

--------------------
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-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/Angiogenesis-PT-25.tgz
mv Angiogenesis-PT-25 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-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 r016-qhx1-152646241100037"
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 ;