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

About the Execution of LoLA for Angiogenesis-PT-50

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.540 2979612.00 3034663.00 14510.40 50 50 50 50 50 ? 50 50 50 50 50 50 50 50 ? 50 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 196K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 10K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K 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.4K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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.7K 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-50, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-qhx1-152646241100044
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526632571564

info: Time: 3600 - MCC
===========================================================================================
prep: translating Angiogenesis-PT-50 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Angiogenesis-PT-50 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Angiogenesis-PT-50 @ 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-50-UpperBounds.task
lola: MAX(DAG) : MAX(Pip2) : MAX(DAGE) : MAX(KdStarGStarP3k) : MAX(Gab1) : MAX(KdStarGStarPgP3) : MAX(Akt) : MAX(Pip2) : MAX(Gab1) : MAX(KdStarGStarPg) : MAX(P3k) : MAX(DAG) : MAX(KdStarGStarPg) : MAX(Akt) : MAX(GStarP3) : MAX(P3k)
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(DAG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(DAG)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-50-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 250 markings, 347 edges
lola: ========================================

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

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

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

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

FORMULA Angiogenesis-PT-50-UpperBounds-4 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPgP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPgP3)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-50-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: 50
lola: 1401718 markings, 2167346 edges, 280344 markings/sec, 0 secs
lola: 2597823 markings, 4359449 edges, 239221 markings/sec, 5 secs
lola: 3721072 markings, 6498861 edges, 224650 markings/sec, 10 secs
lola: 4832585 markings, 8598799 edges, 222303 markings/sec, 15 secs
lola: 5911155 markings, 10677817 edges, 215714 markings/sec, 20 secs
lola: 6999173 markings, 12739568 edges, 217604 markings/sec, 25 secs
lola: 8078713 markings, 14792554 edges, 215908 markings/sec, 30 secs
lola: 9130131 markings, 16821894 edges, 210284 markings/sec, 35 secs
lola: 10180030 markings, 18822873 edges, 209980 markings/sec, 40 secs
lola: 11270995 markings, 20853538 edges, 218193 markings/sec, 45 secs
lola: 12325475 markings, 22888138 edges, 210896 markings/sec, 50 secs
lola: 13377716 markings, 24899698 edges, 210448 markings/sec, 55 secs
lola: 14410669 markings, 26904343 edges, 206591 markings/sec, 60 secs
lola: 15450628 markings, 28911090 edges, 207992 markings/sec, 65 secs
lola: 16514867 markings, 30918804 edges, 212848 markings/sec, 70 secs
lola: 17583332 markings, 32930590 edges, 213693 markings/sec, 75 secs
lola: 18618662 markings, 34914795 edges, 207066 markings/sec, 80 secs
lola: 19627295 markings, 36892815 edges, 201727 markings/sec, 85 secs
lola: 20636859 markings, 38857161 edges, 201913 markings/sec, 90 secs
lola: 21672024 markings, 40828376 edges, 207033 markings/sec, 95 secs
lola: 22723006 markings, 42798964 edges, 210196 markings/sec, 100 secs
lola: 23784772 markings, 44780470 edges, 212353 markings/sec, 105 secs
lola: 24785388 markings, 46738757 edges, 200123 markings/sec, 110 secs
lola: 25775275 markings, 48683484 edges, 197977 markings/sec, 115 secs
lola: 26788239 markings, 50639816 edges, 202593 markings/sec, 120 secs
lola: 27805734 markings, 52601385 edges, 203499 markings/sec, 125 secs
lola: 28815303 markings, 54547392 edges, 201914 markings/sec, 130 secs
lola: 29834407 markings, 56501235 edges, 203821 markings/sec, 135 secs
lola: 30871877 markings, 58462345 edges, 207494 markings/sec, 140 secs
lola: 31888430 markings, 60412981 edges, 203311 markings/sec, 145 secs
lola: 32905730 markings, 62360105 edges, 203460 markings/sec, 150 secs
lola: 33941924 markings, 64297185 edges, 207239 markings/sec, 155 secs
lola: 34968001 markings, 66248287 edges, 205215 markings/sec, 160 secs
lola: 35975057 markings, 68190970 edges, 201411 markings/sec, 165 secs
lola: 36971280 markings, 70123288 edges, 199245 markings/sec, 170 secs
lola: 37997653 markings, 72083882 edges, 205275 markings/sec, 175 secs
lola: 38988065 markings, 74005500 edges, 198082 markings/sec, 180 secs
lola: 39985059 markings, 75941124 edges, 199399 markings/sec, 185 secs
lola: 40971858 markings, 77871888 edges, 197360 markings/sec, 190 secs
lola: 41965733 markings, 79799338 edges, 198775 markings/sec, 195 secs
lola: 42971780 markings, 81733569 edges, 201209 markings/sec, 200 secs
lola: 43958895 markings, 83646131 edges, 197423 markings/sec, 205 secs
lola: 44947512 markings, 85563928 edges, 197723 markings/sec, 210 secs
lola: 45941827 markings, 87476619 edges, 198863 markings/sec, 215 secs
lola: 46960163 markings, 89406878 edges, 203667 markings/sec, 220 secs
lola: 47937116 markings, 91336173 edges, 195391 markings/sec, 225 secs
lola: 48965167 markings, 93271936 edges, 205610 markings/sec, 230 secs
lola: 49977182 markings, 95220326 edges, 202403 markings/sec, 235 secs
lola: 50981866 markings, 97145128 edges, 200937 markings/sec, 240 secs
lola: 51953404 markings, 99044700 edges, 194308 markings/sec, 245 secs
lola: 52966415 markings, 100960891 edges, 202602 markings/sec, 250 secs
lola: 53952864 markings, 102869179 edges, 197290 markings/sec, 255 secs
lola: 54930926 markings, 104785431 edges, 195612 markings/sec, 260 secs
lola: 55923215 markings, 106699159 edges, 198458 markings/sec, 265 secs
lola: 56899830 markings, 108608994 edges, 195323 markings/sec, 270 secs
lola: 57865161 markings, 110522401 edges, 193066 markings/sec, 275 secs
lola: 58828423 markings, 112421706 edges, 192652 markings/sec, 280 secs
lola: 59805643 markings, 114326477 edges, 195444 markings/sec, 285 secs
lola: 60792803 markings, 116225514 edges, 197432 markings/sec, 290 secs
lola: 61769162 markings, 118130783 edges, 195272 markings/sec, 295 secs
lola: 62769210 markings, 120036655 edges, 200010 markings/sec, 300 secs
lola: 63764041 markings, 121948173 edges, 198966 markings/sec, 305 secs
lola: 64755447 markings, 123861048 edges, 198281 markings/sec, 310 secs
lola: 65703601 markings, 125729054 edges, 189631 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 50 50 50 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 50 50 50 50 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7314384 KB
lola: time consumption: 326 seconds
lola: memory consumption: 7314876 KB
lola: time consumption: 327 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Akt)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Akt)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-50-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 0 markings, 0 edges
lola: ========================================

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

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

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

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

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

lola: subprocess 12 will run for 805 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPg)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPg)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-50-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 151 markings, 199 edges
lola: ========================================

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

FORMULA Angiogenesis-PT-50-UpperBounds-13 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1611 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GStarP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GStarP3)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-50-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: 50
lola: 1090448 markings, 2366474 edges, 218090 markings/sec, 0 secs
lola: 2119255 markings, 4655898 edges, 205761 markings/sec, 5 secs
lola: 3103957 markings, 6898070 edges, 196940 markings/sec, 10 secs
lola: 4068750 markings, 9111527 edges, 192959 markings/sec, 15 secs
lola: 5015714 markings, 11306802 edges, 189393 markings/sec, 20 secs
lola: 5942848 markings, 13457450 edges, 185427 markings/sec, 25 secs
lola: 6874015 markings, 15615990 edges, 186233 markings/sec, 30 secs
lola: 7796586 markings, 17763499 edges, 184514 markings/sec, 35 secs
lola: 8728487 markings, 19921114 edges, 186380 markings/sec, 40 secs
lola: 9634850 markings, 22038633 edges, 181273 markings/sec, 45 secs
lola: 10530399 markings, 24146416 edges, 179110 markings/sec, 50 secs
lola: 11422462 markings, 26245611 edges, 178413 markings/sec, 55 secs
lola: 12336065 markings, 28370008 edges, 182721 markings/sec, 60 secs
lola: 13222751 markings, 30466927 edges, 177337 markings/sec, 65 secs
lola: 14118021 markings, 32558212 edges, 179054 markings/sec, 70 secs
lola: 15012839 markings, 34655103 edges, 178964 markings/sec, 75 secs
lola: 15879598 markings, 36715048 edges, 173352 markings/sec, 80 secs
lola: 16765238 markings, 38798168 edges, 177128 markings/sec, 85 secs
lola: 17643334 markings, 40878333 edges, 175619 markings/sec, 90 secs
lola: 18513333 markings, 42934173 edges, 174000 markings/sec, 95 secs
lola: 19381624 markings, 44982700 edges, 173658 markings/sec, 100 secs
lola: 20240467 markings, 47030507 edges, 171769 markings/sec, 105 secs
lola: 21103081 markings, 49072749 edges, 172523 markings/sec, 110 secs
lola: 21964098 markings, 51114302 edges, 172203 markings/sec, 115 secs
lola: 22832597 markings, 53179189 edges, 173700 markings/sec, 120 secs
lola: 23689431 markings, 55220071 edges, 171367 markings/sec, 125 secs
lola: 24536870 markings, 57253727 edges, 169488 markings/sec, 130 secs
lola: 25382418 markings, 59278506 edges, 169110 markings/sec, 135 secs
lola: 26248408 markings, 61332941 edges, 173198 markings/sec, 140 secs
lola: 27085405 markings, 63338884 edges, 167399 markings/sec, 145 secs
lola: 27937742 markings, 65369497 edges, 170467 markings/sec, 150 secs
lola: 28809041 markings, 67424051 edges, 174260 markings/sec, 155 secs
lola: 29663796 markings, 69450701 edges, 170951 markings/sec, 160 secs
lola: 30479980 markings, 71425946 edges, 163237 markings/sec, 165 secs
lola: 31314860 markings, 73430332 edges, 166976 markings/sec, 170 secs
lola: 32148687 markings, 75430659 edges, 166765 markings/sec, 175 secs
lola: 32973778 markings, 77418087 edges, 165018 markings/sec, 180 secs
lola: 33810710 markings, 79422351 edges, 167386 markings/sec, 185 secs
lola: 34646218 markings, 81426543 edges, 167102 markings/sec, 190 secs
lola: 35454220 markings, 83398446 edges, 161600 markings/sec, 195 secs
lola: 36295100 markings, 85403931 edges, 168176 markings/sec, 200 secs
lola: 37133997 markings, 87414340 edges, 167779 markings/sec, 205 secs
lola: 37956470 markings, 89397603 edges, 164495 markings/sec, 210 secs
lola: 38780203 markings, 91381053 edges, 164747 markings/sec, 215 secs
lola: 39594365 markings, 93346482 edges, 162832 markings/sec, 220 secs
lola: 40411918 markings, 95326693 edges, 163511 markings/sec, 225 secs
lola: 41240877 markings, 97300608 edges, 165792 markings/sec, 230 secs
lola: 42063381 markings, 99281686 edges, 164501 markings/sec, 235 secs
lola: 42894973 markings, 101264721 edges, 166318 markings/sec, 240 secs
lola: 43706732 markings, 103227939 edges, 162352 markings/sec, 245 secs
lola: 44542309 markings, 105220919 edges, 167115 markings/sec, 250 secs
lola: 45360695 markings, 107199506 edges, 163677 markings/sec, 255 secs
lola: 46163052 markings, 109151723 edges, 160471 markings/sec, 260 secs
lola: 46991796 markings, 111140647 edges, 165749 markings/sec, 265 secs
lola: 47796225 markings, 113096911 edges, 160886 markings/sec, 270 secs
lola: 48613510 markings, 115059235 edges, 163457 markings/sec, 275 secs
lola: 49442963 markings, 117051247 edges, 165891 markings/sec, 280 secs
lola: 50287936 markings, 119059311 edges, 168995 markings/sec, 285 secs
lola: 51106243 markings, 121030326 edges, 163661 markings/sec, 290 secs
lola: 51914126 markings, 122986363 edges, 161577 markings/sec, 295 secs
lola: 52728211 markings, 124943360 edges, 162817 markings/sec, 300 secs
lola: 53553478 markings, 126912672 edges, 165053 markings/sec, 305 secs
lola: 54362534 markings, 128863008 edges, 161811 markings/sec, 310 secs
lola: 55163499 markings, 130805029 edges, 160193 markings/sec, 315 secs
lola: 55973519 markings, 132754732 edges, 162004 markings/sec, 320 secs
lola: 56768632 markings, 134695124 edges, 159023 markings/sec, 325 secs
lola: 57565352 markings, 136637022 edges, 159344 markings/sec, 330 secs
lola: 58366525 markings, 138583332 edges, 160235 markings/sec, 335 secs
lola: 59181275 markings, 140551162 edges, 162950 markings/sec, 340 secs
lola: 60004332 markings, 142526622 edges, 164611 markings/sec, 345 secs
lola: 60818312 markings, 144501422 edges, 162796 markings/sec, 350 secs
lola: 61651932 markings, 146486424 edges, 166724 markings/sec, 355 secs
lola: 62464748 markings, 148444564 edges, 162563 markings/sec, 360 secs
lola: 63266064 markings, 150389202 edges, 160263 markings/sec, 365 secs
lola: 64075500 markings, 152342163 edges, 161887 markings/sec, 370 secs
lola: 64897101 markings, 154320331 edges, 164320 markings/sec, 375 secs
lola: 65689109 markings, 156241387 edges, 158402 markings/sec, 380 secs
lola: 66484164 markings, 158172694 edges, 159011 markings/sec, 385 secs
lola: 67272612 markings, 160095122 edges, 157690 markings/sec, 390 secs
lola: 68072439 markings, 162038940 edges, 159965 markings/sec, 395 secs
lola: 68849211 markings, 163938345 edges, 155354 markings/sec, 400 secs
lola: 69623975 markings, 165832246 edges, 154953 markings/sec, 405 secs
lola: 70425230 markings, 167772770 edges, 160251 markings/sec, 410 secs
lola: 71203747 markings, 169676774 edges, 155703 markings/sec, 415 secs
lola: 71981188 markings, 171565134 edges, 155488 markings/sec, 420 secs
lola: 72789113 markings, 173512840 edges, 161585 markings/sec, 425 secs
lola: 73578623 markings, 175432117 edges, 157902 markings/sec, 430 secs
lola: 74364697 markings, 177342429 edges, 157215 markings/sec, 435 secs
lola: 75164799 markings, 179278930 edges, 160020 markings/sec, 440 secs
lola: 75957113 markings, 181208979 edges, 158463 markings/sec, 445 secs
lola: 76737034 markings, 183114393 edges, 155984 markings/sec, 450 secs
lola: 77548763 markings, 185049815 edges, 162346 markings/sec, 455 secs
lola: 78348968 markings, 186981547 edges, 160041 markings/sec, 460 secs
lola: 79110195 markings, 188851509 edges, 152245 markings/sec, 465 secs
lola: 79890932 markings, 190765830 edges, 156147 markings/sec, 470 secs
lola: 80682489 markings, 192679434 edges, 158311 markings/sec, 475 secs
lola: 81477910 markings, 194600975 edges, 159084 markings/sec, 480 secs
lola: 82284073 markings, 196545607 edges, 161233 markings/sec, 485 secs
lola: 83071770 markings, 198450252 edges, 157539 markings/sec, 490 secs
lola: 83850508 markings, 200352436 edges, 155748 markings/sec, 495 secs
lola: 84625500 markings, 202252729 edges, 154998 markings/sec, 500 secs
lola: 85399229 markings, 204155087 edges, 154746 markings/sec, 505 secs
lola: 86186866 markings, 206065987 edges, 157527 markings/sec, 510 secs
lola: 86978674 markings, 207975599 edges, 158362 markings/sec, 515 secs
lola: 87743560 markings, 209868001 edges, 152977 markings/sec, 520 secs
lola: 88518605 markings, 211756788 edges, 155009 markings/sec, 525 secs
lola: 89315549 markings, 213690518 edges, 159389 markings/sec, 530 secs
lola: 90096577 markings, 215590324 edges, 156206 markings/sec, 535 secs
lola: 90890648 markings, 217517031 edges, 158814 markings/sec, 540 secs
lola: 91659279 markings, 219403079 edges, 153726 markings/sec, 545 secs
lola: 92407936 markings, 221255089 edges, 149731 markings/sec, 550 secs
lola: 93192924 markings, 223171324 edges, 156998 markings/sec, 555 secs
lola: 93984506 markings, 225082826 edges, 158316 markings/sec, 560 secs
lola: 94765397 markings, 226982813 edges, 156178 markings/sec, 565 secs
lola: 95530940 markings, 228858029 edges, 153109 markings/sec, 570 secs
lola: 96295189 markings, 230734543 edges, 152850 markings/sec, 575 secs
lola: 97046809 markings, 232592987 edges, 150324 markings/sec, 580 secs
lola: 97830305 markings, 234495302 edges, 156699 markings/sec, 585 secs
lola: 98610370 markings, 236388511 edges, 156013 markings/sec, 590 secs
lola: 99402787 markings, 238291080 edges, 158483 markings/sec, 595 secs
lola: 100174902 markings, 240186030 edges, 154423 markings/sec, 600 secs
lola: 100947339 markings, 242073371 edges, 154487 markings/sec, 605 secs
lola: 101705488 markings, 243927655 edges, 151630 markings/sec, 610 secs
lola: 102479434 markings, 245805097 edges, 154789 markings/sec, 615 secs
lola: 103255575 markings, 247687957 edges, 155228 markings/sec, 620 secs
lola: 104016439 markings, 249558986 edges, 152173 markings/sec, 625 secs
lola: 104800321 markings, 251464832 edges, 156776 markings/sec, 630 secs
lola: 105568023 markings, 253341269 edges, 153540 markings/sec, 635 secs
lola: 106309627 markings, 255185360 edges, 148321 markings/sec, 640 secs
lola: 107074891 markings, 257059598 edges, 153053 markings/sec, 645 secs
lola: 107840781 markings, 258940985 edges, 153178 markings/sec, 650 secs
lola: 108616230 markings, 260828919 edges, 155090 markings/sec, 655 secs
lola: 109368366 markings, 262691087 edges, 150427 markings/sec, 660 secs
lola: 110110799 markings, 264532973 edges, 148487 markings/sec, 665 secs
lola: 110853406 markings, 266377482 edges, 148521 markings/sec, 670 secs
lola: 111649987 markings, 268289759 edges, 159316 markings/sec, 675 secs
lola: 112408003 markings, 270154554 edges, 151603 markings/sec, 680 secs
lola: 113165439 markings, 272025078 edges, 151487 markings/sec, 685 secs
lola: 113900966 markings, 273853718 edges, 147105 markings/sec, 690 secs
lola: 114696335 markings, 275752242 edges, 159074 markings/sec, 695 secs
lola: 115459853 markings, 277632058 edges, 152704 markings/sec, 700 secs
lola: 116210860 markings, 279490426 edges, 150201 markings/sec, 705 secs
lola: 116961040 markings, 281347123 edges, 150036 markings/sec, 710 secs
lola: 117736953 markings, 283236431 edges, 155183 markings/sec, 715 secs
lola: 118472365 markings, 285058163 edges, 147082 markings/sec, 720 secs
lola: 119226883 markings, 286908050 edges, 150904 markings/sec, 725 secs
lola: 119959320 markings, 288725947 edges, 146487 markings/sec, 730 secs
lola: 120727390 markings, 290596031 edges, 153614 markings/sec, 735 secs
lola: 121476534 markings, 292446015 edges, 149829 markings/sec, 740 secs
lola: 122250818 markings, 294335888 edges, 154857 markings/sec, 745 secs
lola: 123007884 markings, 296199824 edges, 151413 markings/sec, 750 secs
lola: 123768091 markings, 298061447 edges, 152041 markings/sec, 755 secs
lola: 124535177 markings, 299931732 edges, 153417 markings/sec, 760 secs
lola: 125280961 markings, 301779163 edges, 149157 markings/sec, 765 secs
lola: 126044146 markings, 303653665 edges, 152637 markings/sec, 770 secs
lola: 126801383 markings, 305518845 edges, 151447 markings/sec, 775 secs
lola: 127555257 markings, 307386469 edges, 150775 markings/sec, 780 secs
lola: 128316295 markings, 309259611 edges, 152208 markings/sec, 785 secs
lola: 129058311 markings, 311104982 edges, 148403 markings/sec, 790 secs
lola: 129810747 markings, 312965741 edges, 150487 markings/sec, 795 secs
lola: 130565231 markings, 314827946 edges, 150897 markings/sec, 800 secs
lola: 131334998 markings, 316703245 edges, 153953 markings/sec, 805 secs
lola: 132087239 markings, 318552039 edges, 150448 markings/sec, 810 secs
lola: 132846484 markings, 320416367 edges, 151849 markings/sec, 815 secs
lola: 133591771 markings, 322261112 edges, 149057 markings/sec, 820 secs
lola: 134368404 markings, 324140140 edges, 155327 markings/sec, 825 secs
lola: 135132259 markings, 325999957 edges, 152771 markings/sec, 830 secs
lola: 135869376 markings, 327827932 edges, 147423 markings/sec, 835 secs
lola: 136653706 markings, 329718636 edges, 156866 markings/sec, 840 secs
lola: 137416946 markings, 331586762 edges, 152648 markings/sec, 845 secs
lola: 138165612 markings, 333430116 edges, 149733 markings/sec, 850 secs
lola: 138909742 markings, 335276406 edges, 148826 markings/sec, 855 secs
lola: 139656250 markings, 337122625 edges, 149302 markings/sec, 860 secs
lola: 140421285 markings, 338996761 edges, 153007 markings/sec, 865 secs
lola: 141207193 markings, 340899743 edges, 157182 markings/sec, 870 secs
lola: 141970299 markings, 342771293 edges, 152621 markings/sec, 875 secs
lola: 142723662 markings, 344636672 edges, 150673 markings/sec, 880 secs
lola: 143471282 markings, 346483792 edges, 149524 markings/sec, 885 secs
lola: 144218536 markings, 348323076 edges, 149451 markings/sec, 890 secs
lola: 144979229 markings, 350192402 edges, 152139 markings/sec, 895 secs
lola: 145744386 markings, 352071969 edges, 153031 markings/sec, 900 secs
lola: 146490381 markings, 353900183 edges, 149199 markings/sec, 905 secs
lola: 146640259 markings, 354275754 edges, 29976 markings/sec, 910 secs
lola: 146731212 markings, 354498226 edges, 18191 markings/sec, 915 secs
lola: 146757786 markings, 354564417 edges, 5315 markings/sec, 920 secs
lola: 146760723 markings, 354571791 edges, 587 markings/sec, 925 secs
lola: 146762062 markings, 354574944 edges, 268 markings/sec, 930 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 2279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P3k)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P3k)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-50-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Angiogenesis-PT-50-UpperBounds-15 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPgP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPgP3)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-50-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: 50
lola: 1420713 markings, 2197099 edges, 284143 markings/sec, 0 secs
lola: 2628779 markings, 4418900 edges, 241613 markings/sec, 5 secs
lola: 3741336 markings, 6536916 edges, 222511 markings/sec, 10 secs
lola: 4844092 markings, 8620334 edges, 220551 markings/sec, 15 secs
lola: 5923270 markings, 10700319 edges, 215836 markings/sec, 20 secs
lola: 7012592 markings, 12765833 edges, 217864 markings/sec, 25 secs
lola: 8099341 markings, 14834337 edges, 217350 markings/sec, 30 secs
lola: 9158551 markings, 16874240 edges, 211842 markings/sec, 35 secs
lola: 10233730 markings, 18921823 edges, 215036 markings/sec, 40 secs
lola: 11332595 markings, 20971630 edges, 219773 markings/sec, 45 secs
lola: 12384581 markings, 23004921 edges, 210397 markings/sec, 50 secs
lola: 13443408 markings, 25029079 edges, 211765 markings/sec, 55 secs
lola: 14485217 markings, 27047575 edges, 208362 markings/sec, 60 secs
lola: 15527305 markings, 29061685 edges, 208418 markings/sec, 65 secs
lola: 16597171 markings, 31072820 edges, 213973 markings/sec, 70 secs
lola: 17671060 markings, 33099102 edges, 214778 markings/sec, 75 secs
lola: 18711588 markings, 35103115 edges, 208106 markings/sec, 80 secs
lola: 19737284 markings, 37102795 edges, 205139 markings/sec, 85 secs
lola: 20760585 markings, 39090107 edges, 204660 markings/sec, 90 secs
lola: 21807579 markings, 41094148 edges, 209399 markings/sec, 95 secs
lola: 22871362 markings, 43086322 edges, 212757 markings/sec, 100 secs
lola: 23940254 markings, 45080105 edges, 213778 markings/sec, 105 secs
lola: 24952046 markings, 47060038 edges, 202358 markings/sec, 110 secs
lola: 25972678 markings, 49054874 edges, 204126 markings/sec, 115 secs
lola: 26984712 markings, 51026410 edges, 202407 markings/sec, 120 secs
lola: 28017972 markings, 53012684 edges, 206652 markings/sec, 125 secs
lola: 29051792 markings, 54991086 edges, 206764 markings/sec, 130 secs
lola: 30085799 markings, 56976502 edges, 206801 markings/sec, 135 secs
lola: 31140952 markings, 58962438 edges, 211031 markings/sec, 140 secs
lola: 32174807 markings, 60938146 edges, 206771 markings/sec, 145 secs
lola: 33210049 markings, 62913413 edges, 207048 markings/sec, 150 secs
lola: 34264380 markings, 64890845 edges, 210866 markings/sec, 155 secs
lola: 35275170 markings, 66859412 edges, 202158 markings/sec, 160 secs
lola: 36310554 markings, 68828413 edges, 207077 markings/sec, 165 secs
lola: 37313624 markings, 70785297 edges, 200614 markings/sec, 170 secs
lola: 38343302 markings, 72753062 edges, 205936 markings/sec, 175 secs
lola: 39346936 markings, 74709995 edges, 200727 markings/sec, 180 secs
lola: 40358433 markings, 76661716 edges, 202299 markings/sec, 185 secs
lola: 41355223 markings, 78613518 edges, 199358 markings/sec, 190 secs
lola: 42351370 markings, 80556240 edges, 199229 markings/sec, 195 secs
lola: 43367730 markings, 82505806 edges, 203272 markings/sec, 200 secs
lola: 44367763 markings, 84439840 edges, 200007 markings/sec, 205 secs
lola: 45386654 markings, 86387406 edges, 203778 markings/sec, 210 secs
lola: 46403545 markings, 88330936 edges, 203378 markings/sec, 215 secs
lola: 47415238 markings, 90297709 edges, 202339 markings/sec, 220 secs
lola: 48411730 markings, 92232490 edges, 199298 markings/sec, 225 secs
lola: 49452247 markings, 94194462 edges, 208103 markings/sec, 230 secs
lola: 50459443 markings, 96142223 edges, 201439 markings/sec, 235 secs
lola: 51471971 markings, 98101938 edges, 202506 markings/sec, 240 secs
lola: 52473485 markings, 100041411 edges, 200303 markings/sec, 245 secs
lola: 53483566 markings, 101973377 edges, 202016 markings/sec, 250 secs
lola: 54480664 markings, 103910786 edges, 199420 markings/sec, 255 secs
lola: 55482449 markings, 105843260 edges, 200357 markings/sec, 260 secs
lola: 56462363 markings, 107765141 edges, 195983 markings/sec, 265 secs
lola: 57441446 markings, 109685780 edges, 195817 markings/sec, 270 secs
lola: 58425459 markings, 111617457 edges, 196803 markings/sec, 275 secs
lola: 59392273 markings, 113538498 edges, 193363 markings/sec, 280 secs
lola: 60405818 markings, 115475254 edges, 202709 markings/sec, 285 secs
lola: 61398385 markings, 117402968 edges, 198513 markings/sec, 290 secs
lola: 62398181 markings, 119336591 edges, 199959 markings/sec, 295 secs
lola: 63403188 markings, 121263266 edges, 201001 markings/sec, 300 secs
lola: 64420449 markings, 123203228 edges, 203452 markings/sec, 305 secs
lola: 65381623 markings, 125110075 edges, 192235 markings/sec, 310 secs
lola: 66364493 markings, 127026592 edges, 196574 markings/sec, 315 secs
lola: 67377240 markings, 128965541 edges, 202549 markings/sec, 320 secs
lola: 68367607 markings, 130889452 edges, 198073 markings/sec, 325 secs
lola: 69402363 markings, 132827355 edges, 206951 markings/sec, 330 secs
lola: 70375675 markings, 134740280 edges, 194662 markings/sec, 335 secs
lola: 71383458 markings, 136665858 edges, 201557 markings/sec, 340 secs
lola: 72374608 markings, 138584627 edges, 198230 markings/sec, 345 secs
lola: 73391217 markings, 140515418 edges, 203322 markings/sec, 350 secs
lola: 74383356 markings, 142437408 edges, 198428 markings/sec, 355 secs
lola: 75381054 markings, 144353300 edges, 199540 markings/sec, 360 secs
lola: 76355640 markings, 146259459 edges, 194917 markings/sec, 365 secs
lola: 77372756 markings, 148187909 edges, 203423 markings/sec, 370 secs
lola: 78391141 markings, 150120641 edges, 203677 markings/sec, 375 secs
lola: 79420872 markings, 152053261 edges, 205946 markings/sec, 380 secs
lola: 80411905 markings, 153977528 edges, 198207 markings/sec, 385 secs
lola: 81372744 markings, 155881370 edges, 192168 markings/sec, 390 secs
lola: 82365854 markings, 157804424 edges, 198622 markings/sec, 395 secs
lola: 83399750 markings, 159738008 edges, 206779 markings/sec, 400 secs
lola: 84388659 markings, 161646943 edges, 197782 markings/sec, 405 secs
lola: 85364868 markings, 163550091 edges, 195242 markings/sec, 410 secs
lola: 86330865 markings, 165461487 edges, 193199 markings/sec, 415 secs
lola: 87322321 markings, 167379937 edges, 198291 markings/sec, 420 secs
lola: 88298146 markings, 169288810 edges, 195165 markings/sec, 425 secs
lola: 89286876 markings, 171190575 edges, 197746 markings/sec, 430 secs
lola: 90259260 markings, 173092681 edges, 194477 markings/sec, 435 secs
lola: 91231419 markings, 175007628 edges, 194432 markings/sec, 440 secs
lola: 92199149 markings, 176902406 edges, 193546 markings/sec, 445 secs
lola: 93169613 markings, 178809681 edges, 194093 markings/sec, 450 secs
lola: 94140157 markings, 180703824 edges, 194109 markings/sec, 455 secs
lola: 95128465 markings, 182622142 edges, 197662 markings/sec, 460 secs
lola: 96124135 markings, 184530513 edges, 199134 markings/sec, 465 secs
lola: 97099528 markings, 186423045 edges, 195079 markings/sec, 470 secs
lola: 98069168 markings, 188299136 edges, 193928 markings/sec, 475 secs
lola: 99069257 markings, 190225760 edges, 200018 markings/sec, 480 secs
lola: 100039282 markings, 192119854 edges, 194005 markings/sec, 485 secs
lola: 101022186 markings, 194020986 edges, 196581 markings/sec, 490 secs
lola: 102022361 markings, 195929529 edges, 200035 markings/sec, 495 secs
lola: 103012269 markings, 197846721 edges, 197982 markings/sec, 500 secs
lola: 103988999 markings, 199754826 edges, 195346 markings/sec, 505 secs
lola: 104989762 markings, 201664535 edges, 200153 markings/sec, 510 secs
lola: 106049624 markings, 203618520 edges, 211972 markings/sec, 515 secs
lola: 107008231 markings, 205511839 edges, 191721 markings/sec, 520 secs
lola: 107999473 markings, 207422097 edges, 198248 markings/sec, 525 secs
lola: 108967456 markings, 209319367 edges, 193597 markings/sec, 530 secs
lola: 109932802 markings, 211209768 edges, 193069 markings/sec, 535 secs
lola: 110926150 markings, 213121809 edges, 198670 markings/sec, 540 secs
lola: 111924649 markings, 215019878 edges, 199700 markings/sec, 545 secs
lola: 112887484 markings, 216903574 edges, 192567 markings/sec, 550 secs
lola: 113856943 markings, 218784028 edges, 193892 markings/sec, 555 secs
lola: 114867742 markings, 220699302 edges, 202160 markings/sec, 560 secs
lola: 115847402 markings, 222594664 edges, 195932 markings/sec, 565 secs
lola: 116812796 markings, 224487072 edges, 193079 markings/sec, 570 secs
lola: 117767240 markings, 226372805 edges, 190889 markings/sec, 575 secs
lola: 118714929 markings, 228234796 edges, 189538 markings/sec, 580 secs
lola: 119697046 markings, 230118757 edges, 196423 markings/sec, 585 secs
lola: 120638126 markings, 231990869 edges, 188216 markings/sec, 590 secs
lola: 121603554 markings, 233863586 edges, 193086 markings/sec, 595 secs
lola: 122572916 markings, 235758638 edges, 193872 markings/sec, 600 secs
lola: 123559504 markings, 237669499 edges, 197318 markings/sec, 605 secs
lola: 124516464 markings, 239554156 edges, 191392 markings/sec, 610 secs
lola: 125531956 markings, 241454620 edges, 203098 markings/sec, 615 secs
lola: 126522514 markings, 243361349 edges, 198112 markings/sec, 620 secs
lola: 127490852 markings, 245242686 edges, 193668 markings/sec, 625 secs
lola: 128458788 markings, 247132747 edges, 193587 markings/sec, 630 secs
lola: 129418665 markings, 249016002 edges, 191975 markings/sec, 635 secs
lola: 130378863 markings, 250897937 edges, 192040 markings/sec, 640 secs
lola: 131361788 markings, 252790014 edges, 196585 markings/sec, 645 secs
lola: 132305206 markings, 254652882 edges, 188684 markings/sec, 650 secs
lola: 133252141 markings, 256525783 edges, 189387 markings/sec, 655 secs
lola: 134249037 markings, 258425056 edges, 199379 markings/sec, 660 secs
lola: 135265338 markings, 260338993 edges, 203260 markings/sec, 665 secs
lola: 136241815 markings, 262235921 edges, 195295 markings/sec, 670 secs
lola: 137206177 markings, 264118603 edges, 192872 markings/sec, 675 secs
lola: 138169141 markings, 266000352 edges, 192593 markings/sec, 680 secs
lola: 139129305 markings, 267887050 edges, 192033 markings/sec, 685 secs
lola: 140148010 markings, 269801831 edges, 203741 markings/sec, 690 secs
lola: 141088283 markings, 271675198 edges, 188055 markings/sec, 695 secs
lola: 142056092 markings, 273545307 edges, 193562 markings/sec, 700 secs
lola: 143045956 markings, 275440337 edges, 197973 markings/sec, 705 secs
lola: 144036104 markings, 277341198 edges, 198030 markings/sec, 710 secs
lola: 144979064 markings, 279215177 edges, 188592 markings/sec, 715 secs
lola: 145426845 markings, 280103097 edges, 89556 markings/sec, 720 secs
lola: 145446043 markings, 280138928 edges, 3840 markings/sec, 725 secs
lola: 145458809 markings, 280162865 edges, 2553 markings/sec, 730 secs
lola: 145485241 markings, 280213266 edges, 5286 markings/sec, 735 secs
lola: lola: Child process aborted or communication problem between parent and child process

FORMULA Angiogenesis-PT-50-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(GStarP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GStarP3)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-50-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: 50
lola: 1083931 markings, 2352383 edges, 216786 markings/sec, 0 secs
lola: 2110844 markings, 4636714 edges, 205383 markings/sec, 5 secs
lola: 3094594 markings, 6876631 edges, 196750 markings/sec, 10 secs
lola: 4065229 markings, 9103051 edges, 194127 markings/sec, 15 secs
lola: 5015411 markings, 11306131 edges, 190036 markings/sec, 20 secs
lola: 5956819 markings, 13488695 edges, 188282 markings/sec, 25 secs
lola: 6889232 markings, 15650795 edges, 186483 markings/sec, 30 secs
lola: 7815039 markings, 17805275 edges, 185161 markings/sec, 35 secs
lola: 8749013 markings, 19968700 edges, 186795 markings/sec, 40 secs
lola: 9659407 markings, 22095070 edges, 182079 markings/sec, 45 secs
lola: 10557798 markings, 24210595 edges, 179678 markings/sec, 50 secs
lola: 11459587 markings, 26328370 edges, 180358 markings/sec, 55 secs
lola: 12377450 markings, 28463017 edges, 183573 markings/sec, 60 secs
lola: 13259903 markings, 30554156 edges, 176491 markings/sec, 65 secs
lola: 14157399 markings, 32652292 edges, 179499 markings/sec, 70 secs
lola: 15054391 markings, 34753415 edges, 179398 markings/sec, 75 secs
lola: 15927987 markings, 36831763 edges, 174719 markings/sec, 80 secs
lola: 16824904 markings, 38936415 edges, 179383 markings/sec, 85 secs
lola: 17695523 markings, 41006951 edges, 174124 markings/sec, 90 secs
lola: 18578209 markings, 43086061 edges, 176537 markings/sec, 95 secs
lola: 19456288 markings, 45163874 edges, 175616 markings/sec, 100 secs
lola: 20319679 markings, 47217223 edges, 172678 markings/sec, 105 secs
lola: 21187766 markings, 49274146 edges, 173617 markings/sec, 110 secs
lola: 22047347 markings, 51316888 edges, 171916 markings/sec, 115 secs
lola: 22923690 markings, 53398670 edges, 175269 markings/sec, 120 secs
lola: 23782624 markings, 55446300 edges, 171787 markings/sec, 125 secs
lola: 24632376 markings, 57485855 edges, 169950 markings/sec, 130 secs
lola: 25480561 markings, 59515703 edges, 169637 markings/sec, 135 secs
lola: 26347681 markings, 61572434 edges, 173424 markings/sec, 140 secs
lola: 27187346 markings, 63586308 edges, 167933 markings/sec, 145 secs
lola: 28047854 markings, 65634624 edges, 172102 markings/sec, 150 secs
lola: 28918210 markings, 67689263 edges, 174071 markings/sec, 155 secs
lola: 29779423 markings, 69729772 edges, 172243 markings/sec, 160 secs
lola: 30603555 markings, 71727203 edges, 164826 markings/sec, 165 secs
lola: 31451067 markings, 73764059 edges, 169502 markings/sec, 170 secs
lola: 32299190 markings, 75796040 edges, 169625 markings/sec, 175 secs
lola: 33144725 markings, 77823514 edges, 169107 markings/sec, 180 secs
lola: 33986403 markings, 79838729 edges, 168336 markings/sec, 185 secs
lola: 34822213 markings, 81850025 edges, 167162 markings/sec, 190 secs
lola: 35637715 markings, 83837125 edges, 163100 markings/sec, 195 secs
lola: 36481073 markings, 85847728 edges, 168672 markings/sec, 200 secs
lola: 37318613 markings, 87863956 edges, 167508 markings/sec, 205 secs
lola: 38153260 markings, 89854051 edges, 166929 markings/sec, 210 secs
lola: 38971911 markings, 91826479 edges, 163730 markings/sec, 215 secs
lola: 39773272 markings, 93781274 edges, 160272 markings/sec, 220 secs
lola: 40589624 markings, 95747728 edges, 163270 markings/sec, 225 secs
lola: 41413284 markings, 97709693 edges, 164732 markings/sec, 230 secs
lola: 42227056 markings, 99668802 edges, 162754 markings/sec, 235 secs
lola: 43039715 markings, 101611692 edges, 162532 markings/sec, 240 secs
lola: 43848784 markings, 103568535 edges, 161814 markings/sec, 245 secs
lola: 44682220 markings, 105554247 edges, 166687 markings/sec, 250 secs
lola: 45490191 markings, 107516912 edges, 161594 markings/sec, 255 secs
lola: 46307133 markings, 109497448 edges, 163388 markings/sec, 260 secs
lola: 47135967 markings, 111496699 edges, 165767 markings/sec, 265 secs
lola: 47953065 markings, 113478386 edges, 163420 markings/sec, 270 secs
lola: 48783547 markings, 115462136 edges, 166096 markings/sec, 275 secs
lola: 49616709 markings, 117466694 edges, 166632 markings/sec, 280 secs
lola: 50453560 markings, 119461553 edges, 167370 markings/sec, 285 secs
lola: 51270599 markings, 121430902 edges, 163408 markings/sec, 290 secs
lola: 52084039 markings, 123403561 edges, 162688 markings/sec, 295 secs
lola: 52915699 markings, 125388954 edges, 166332 markings/sec, 300 secs
lola: 53739117 markings, 127367766 edges, 164684 markings/sec, 305 secs
lola: 54563786 markings, 129348621 edges, 164934 markings/sec, 310 secs
lola: 55374790 markings, 131313189 edges, 162201 markings/sec, 315 secs
lola: 56184412 markings, 133267652 edges, 161924 markings/sec, 320 secs
lola: 56990012 markings, 135225697 edges, 161120 markings/sec, 325 secs
lola: 57780353 markings, 137164771 edges, 158068 markings/sec, 330 secs
lola: 58594807 markings, 139135127 edges, 162891 markings/sec, 335 secs
lola: 59415545 markings, 141117266 edges, 164148 markings/sec, 340 secs
lola: 60237248 markings, 143096611 edges, 164341 markings/sec, 345 secs
lola: 61075988 markings, 145103656 edges, 167748 markings/sec, 350 secs
lola: 61900013 markings, 147082444 edges, 164805 markings/sec, 355 secs
lola: 62718119 markings, 149057150 edges, 163621 markings/sec, 360 secs
lola: 63528080 markings, 151018493 edges, 161992 markings/sec, 365 secs
lola: 64337568 markings, 152982759 edges, 161898 markings/sec, 370 secs
lola: 65163177 markings, 154965913 edges, 165122 markings/sec, 375 secs
lola: 65955731 markings, 156891829 edges, 158511 markings/sec, 380 secs
lola: 66755185 markings, 158834721 edges, 159891 markings/sec, 385 secs
lola: 67570843 markings, 160808508 edges, 163132 markings/sec, 390 secs
lola: 68361703 markings, 162744104 edges, 158172 markings/sec, 395 secs
lola: 69152844 markings, 164682451 edges, 158228 markings/sec, 400 secs
lola: 69955377 markings, 166627174 edges, 160507 markings/sec, 405 secs
lola: 70757547 markings, 168588187 edges, 160434 markings/sec, 410 secs
lola: 71550068 markings, 170516678 edges, 158504 markings/sec, 415 secs
lola: 72352315 markings, 172457620 edges, 160449 markings/sec, 420 secs
lola: 73180732 markings, 174449497 edges, 165683 markings/sec, 425 secs
lola: 73956991 markings, 176358903 edges, 155252 markings/sec, 430 secs
lola: 74761083 markings, 178303062 edges, 160818 markings/sec, 435 secs
lola: 75563787 markings, 180255608 edges, 160541 markings/sec, 440 secs
lola: 76370476 markings, 182208554 edges, 161338 markings/sec, 445 secs
lola: 77164010 markings, 184143444 edges, 158707 markings/sec, 450 secs
lola: 77981784 markings, 186099105 edges, 163555 markings/sec, 455 secs
lola: 78778910 markings, 188040313 edges, 159425 markings/sec, 460 secs
lola: 79554196 markings, 189955448 edges, 155057 markings/sec, 465 secs
lola: 80365749 markings, 191906770 edges, 162311 markings/sec, 470 secs
lola: 81167531 markings, 193846356 edges, 160356 markings/sec, 475 secs
lola: 81968142 markings, 195798598 edges, 160122 markings/sec, 480 secs
lola: 82781731 markings, 197751163 edges, 162718 markings/sec, 485 secs
lola: 83574393 markings, 199675768 edges, 158532 markings/sec, 490 secs
lola: 84362481 markings, 201598009 edges, 157618 markings/sec, 495 secs
lola: 85134860 markings, 203507807 edges, 154476 markings/sec, 500 secs
lola: 85926665 markings, 205434012 edges, 158361 markings/sec, 505 secs
lola: 86733586 markings, 207374578 edges, 161384 markings/sec, 510 secs
lola: 87508399 markings, 209284055 edges, 154963 markings/sec, 515 secs
lola: 88287843 markings, 211194016 edges, 155889 markings/sec, 520 secs
lola: 89081419 markings, 213121895 edges, 158715 markings/sec, 525 secs
lola: 89870710 markings, 215043618 edges, 157858 markings/sec, 530 secs
lola: 90680519 markings, 216995502 edges, 161962 markings/sec, 535 secs
lola: 91454255 markings, 218902545 edges, 154747 markings/sec, 540 secs
lola: 92215061 markings, 220782593 edges, 152161 markings/sec, 545 secs
lola: 93007532 markings, 222716230 edges, 158494 markings/sec, 550 secs
lola: 93805773 markings, 224652943 edges, 159648 markings/sec, 555 secs
lola: 94610405 markings, 226597928 edges, 160926 markings/sec, 560 secs
lola: 95378954 markings, 228485203 edges, 153710 markings/sec, 565 secs
lola: 96159832 markings, 230394766 edges, 156176 markings/sec, 570 secs
lola: 96922484 markings, 232279792 edges, 152530 markings/sec, 575 secs
lola: 97700443 markings, 234182269 edges, 155592 markings/sec, 580 secs
lola: 98483059 markings, 236082060 edges, 156523 markings/sec, 585 secs
lola: 99286952 markings, 238012698 edges, 160779 markings/sec, 590 secs
lola: 100075886 markings, 239939975 edges, 157787 markings/sec, 595 secs
lola: 100852640 markings, 241844892 edges, 155351 markings/sec, 600 secs
lola: 101626278 markings, 243731189 edges, 154728 markings/sec, 605 secs
lola: 102418652 markings, 245658303 edges, 158475 markings/sec, 610 secs
lola: 103212060 markings, 247584997 edges, 158682 markings/sec, 615 secs
lola: 103983909 markings, 249483273 edges, 154370 markings/sec, 620 secs
lola: 104782622 markings, 251421568 edges, 159743 markings/sec, 625 secs
lola: 105559591 markings, 253322043 edges, 155394 markings/sec, 630 secs
lola: 106313135 markings, 255193593 edges, 150709 markings/sec, 635 secs
lola: 107086981 markings, 257088362 edges, 154769 markings/sec, 640 secs
lola: 107862727 markings, 258994479 edges, 155149 markings/sec, 645 secs
lola: 108644153 markings, 260899782 edges, 156285 markings/sec, 650 secs
lola: 109408655 markings, 262797224 edges, 152900 markings/sec, 655 secs
lola: 110165090 markings, 264668778 edges, 151287 markings/sec, 660 secs
lola: 110923114 markings, 266554301 edges, 151605 markings/sec, 665 secs
lola: 111732251 markings, 268490524 edges, 161827 markings/sec, 670 secs
lola: 112501440 markings, 270389552 edges, 153838 markings/sec, 675 secs
lola: 113267512 markings, 272274351 edges, 153214 markings/sec, 680 secs
lola: 114034871 markings, 274168934 edges, 153472 markings/sec, 685 secs
lola: 114831159 markings, 276087843 edges, 159258 markings/sec, 690 secs
lola: 115612278 markings, 278004114 edges, 156224 markings/sec, 695 secs
lola: 116362873 markings, 279869115 edges, 150119 markings/sec, 700 secs
lola: 117143405 markings, 281780912 edges, 156106 markings/sec, 705 secs
lola: 117911838 markings, 283667759 edges, 153687 markings/sec, 710 secs
lola: 118682068 markings, 285564930 edges, 154046 markings/sec, 715 secs
lola: 119435875 markings, 287437748 edges, 150761 markings/sec, 720 secs
lola: 120213500 markings, 289341702 edges, 155525 markings/sec, 725 secs
lola: 120988128 markings, 291235551 edges, 154926 markings/sec, 730 secs
lola: 121747959 markings, 293103085 edges, 151966 markings/sec, 735 secs
lola: 122517096 markings, 295003907 edges, 153827 markings/sec, 740 secs
lola: 123293628 markings, 296890263 edges, 155306 markings/sec, 745 secs
lola: 124053157 markings, 298758937 edges, 151906 markings/sec, 750 secs
lola: 124824991 markings, 300656526 edges, 154367 markings/sec, 755 secs
lola: 125587575 markings, 302533193 edges, 152517 markings/sec, 760 secs
lola: 126355520 markings, 304428121 edges, 153589 markings/sec, 765 secs
lola: 127133901 markings, 306334612 edges, 155676 markings/sec, 770 secs
lola: 127900260 markings, 308229568 edges, 153272 markings/sec, 775 secs
lola: 128654630 markings, 310106833 edges, 150874 markings/sec, 780 secs
lola: 129405048 markings, 311966883 edges, 150084 markings/sec, 785 secs
lola: 130171167 markings, 313853081 edges, 153224 markings/sec, 790 secs
lola: 130951006 markings, 315756634 edges, 155968 markings/sec, 795 secs
lola: 131714955 markings, 317635414 edges, 152790 markings/sec, 800 secs
lola: 132485576 markings, 319531849 edges, 154124 markings/sec, 805 secs
lola: 133237768 markings, 321393648 edges, 150438 markings/sec, 810 secs
lola: 134011815 markings, 323284346 edges, 154809 markings/sec, 815 secs
lola: 134802814 markings, 325196534 edges, 158200 markings/sec, 820 secs
lola: 135570321 markings, 327078929 edges, 153501 markings/sec, 825 secs
lola: 136338452 markings, 328960370 edges, 153626 markings/sec, 830 secs
lola: 137129358 markings, 330872383 edges, 158181 markings/sec, 835 secs
lola: 137888653 markings, 332747262 edges, 151859 markings/sec, 840 secs
lola: 138642097 markings, 334614833 edges, 150689 markings/sec, 845 secs
lola: 139386925 markings, 336473351 edges, 148966 markings/sec, 850 secs
lola: 140162593 markings, 338363957 edges, 155134 markings/sec, 855 secs
lola: 140957786 markings, 340290158 edges, 159039 markings/sec, 860 secs
lola: 141744247 markings, 342207476 edges, 157292 markings/sec, 865 secs
lola: 142486067 markings, 344063547 edges, 148364 markings/sec, 870 secs
lola: 143265169 markings, 345967786 edges, 155820 markings/sec, 875 secs
lola: 144014051 markings, 347811779 edges, 149776 markings/sec, 880 secs
lola: 144781073 markings, 349707867 edges, 153404 markings/sec, 885 secs
lola: 145551574 markings, 351593172 edges, 154100 markings/sec, 890 secs
lola: 146321252 markings, 353486639 edges, 153936 markings/sec, 895 secs
lola: 146622197 markings, 354232260 edges, 60189 markings/sec, 900 secs
lola: 146777692 markings, 354613656 edges, 31099 markings/sec, 905 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA Angiogenesis-PT-50-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: RESULT
lola:
SUMMARY: 50 50 50 50 50 unknown 50 50 50 50 50 50 50 50 unknown 50
lola:
preliminary result: 50 50 50 50 50 unknown 50 50 50 50 50 50 50 50 unknown 50
lola: memory consumption: 15552 KB
lola: time consumption: 2959 seconds

BK_STOP 1526635551176

--------------------
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-50"
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-50.tgz
mv Angiogenesis-PT-50 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-50, 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-152646241100044"
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 ;