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 ;