Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
........................
/home/mcc/execution
total 212K
-rw-r--r-- 1 mcc users 4.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K 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.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 24K 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.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K 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-10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-qhx1-152646241000016
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526621133410

info: Time: 3600 - MCC
===========================================================================================
prep: translating Angiogenesis-PT-10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Angiogenesis-PT-10 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Angiogenesis-PT-10 @ 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-10-UpperBounds.task
lola: MAX(KdStarGStarPgP3) : MAX(GStarP3kP3) : MAX(GStarP3kP3) : MAX(KdStarGStar) : MAX(GP3) : MAX(PtP2) : MAX(KdStarGStarPgStarP3) : MAX(Pip2) : MAX(KdStarGStarP3kStarP3P2) : MAX(PtP2) : MAX(KdStarGStar) : MAX(KdStar) : MAX(AktP3) : MAX(KdStarGStarP3kStarP3P2) : MAX(KdStarPgStarP2) : MAX(KdStarGStarPgStarP2)
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(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-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 933856 markings, 1820181 edges, 186771 markings/sec, 0 secs
lola: 1965707 markings, 3918038 edges, 206370 markings/sec, 5 secs
lola: 2974831 markings, 6012789 edges, 201825 markings/sec, 10 secs
lola: 3967922 markings, 8099897 edges, 198618 markings/sec, 15 secs
lola: 4930347 markings, 10145819 edges, 192485 markings/sec, 20 secs
lola: 5885580 markings, 12186451 edges, 191047 markings/sec, 25 secs
lola: 6831149 markings, 14220463 edges, 189114 markings/sec, 30 secs
lola: 7748837 markings, 16214154 edges, 183538 markings/sec, 35 secs
lola: 8665930 markings, 18214388 edges, 183419 markings/sec, 40 secs
lola: 9564389 markings, 20191816 edges, 179692 markings/sec, 45 secs
lola: 10470930 markings, 22187967 edges, 181308 markings/sec, 50 secs
lola: 11373404 markings, 24176194 edges, 180495 markings/sec, 55 secs
lola: 12258083 markings, 26132920 edges, 176936 markings/sec, 60 secs
lola: 13140756 markings, 28087044 edges, 176535 markings/sec, 65 secs
lola: 14036657 markings, 30067620 edges, 179180 markings/sec, 70 secs
lola: 14917053 markings, 32033687 edges, 176079 markings/sec, 75 secs
lola: 15788999 markings, 33970172 edges, 174389 markings/sec, 80 secs
lola: 16657661 markings, 35905782 edges, 173732 markings/sec, 85 secs
lola: 17529244 markings, 37859028 edges, 174317 markings/sec, 90 secs
lola: 18386106 markings, 39784631 edges, 171372 markings/sec, 95 secs
lola: 19251607 markings, 41720633 edges, 173100 markings/sec, 100 secs
lola: 20106640 markings, 43644227 edges, 171007 markings/sec, 105 secs
lola: 20961152 markings, 45567692 edges, 170902 markings/sec, 110 secs
lola: 21808072 markings, 47480655 edges, 169384 markings/sec, 115 secs
lola: 22676756 markings, 49426017 edges, 173737 markings/sec, 120 secs
lola: 23519701 markings, 51338354 edges, 168589 markings/sec, 125 secs
lola: 24363303 markings, 53252268 edges, 168720 markings/sec, 130 secs
lola: 25197548 markings, 55153768 edges, 166849 markings/sec, 135 secs
lola: 26035942 markings, 57049798 edges, 167679 markings/sec, 140 secs
lola: 26876374 markings, 58957185 edges, 168086 markings/sec, 145 secs
lola: 27710947 markings, 60852803 edges, 166915 markings/sec, 150 secs
lola: 28529955 markings, 62729315 edges, 163802 markings/sec, 155 secs
lola: 29365989 markings, 64634547 edges, 167207 markings/sec, 160 secs
lola: 30201231 markings, 66541818 edges, 167048 markings/sec, 165 secs
lola: 31040424 markings, 68450559 edges, 167839 markings/sec, 170 secs
lola: 31870239 markings, 70348360 edges, 165963 markings/sec, 175 secs
lola: 32702103 markings, 72238387 edges, 166373 markings/sec, 180 secs
lola: 33520100 markings, 74110750 edges, 163599 markings/sec, 185 secs
lola: 34346648 markings, 75996005 edges, 165310 markings/sec, 190 secs
lola: 35160197 markings, 77871441 edges, 162710 markings/sec, 195 secs
lola: 35973956 markings, 79740614 edges, 162752 markings/sec, 200 secs
lola: 36791356 markings, 81618092 edges, 163480 markings/sec, 205 secs
lola: 37603069 markings, 83483343 edges, 162343 markings/sec, 210 secs
lola: 38422259 markings, 85363859 edges, 163838 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: 4390760 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: 4409996 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(GStarP3kP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GStarP3kP3)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 521960 markings, 990079 edges

FORMULA Angiogenesis-PT-10-UpperBounds-1 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GStarP3kP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GStarP3kP3)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 521960 markings, 990079 edges

FORMULA Angiogenesis-PT-10-UpperBounds-2 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 255 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-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 21 markings, 20 edges
lola: ========================================

FORMULA Angiogenesis-PT-10-UpperBounds-3 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 276 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-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 1249570 markings, 2198157 edges, 249914 markings/sec, 0 secs
lola: 2411860 markings, 4280031 edges, 232458 markings/sec, 5 secs
lola: 3566682 markings, 6365550 edges, 230964 markings/sec, 10 secs
lola: 4677067 markings, 8406253 edges, 222077 markings/sec, 15 secs
lola: 5772413 markings, 10432352 edges, 219069 markings/sec, 20 secs
lola: 6844242 markings, 12430529 edges, 214366 markings/sec, 25 secs
lola: 7903915 markings, 14416218 edges, 211935 markings/sec, 30 secs
lola: 8947347 markings, 16376783 edges, 208686 markings/sec, 35 secs
lola: 9973552 markings, 18315575 edges, 205241 markings/sec, 40 secs
lola: 10993403 markings, 20245874 edges, 203970 markings/sec, 45 secs
lola: 12009311 markings, 22171430 edges, 203182 markings/sec, 50 secs
lola: 13011626 markings, 24076202 edges, 200463 markings/sec, 55 secs
lola: 14002239 markings, 25973696 edges, 198123 markings/sec, 60 secs
lola: 14996604 markings, 27866853 edges, 198873 markings/sec, 65 secs
lola: 15969011 markings, 29747419 edges, 194481 markings/sec, 70 secs
lola: 16937640 markings, 31605763 edges, 193726 markings/sec, 75 secs
lola: 17903596 markings, 33471068 edges, 193191 markings/sec, 80 secs
lola: 18858844 markings, 35333059 edges, 191050 markings/sec, 85 secs
lola: 19820149 markings, 37192268 edges, 192261 markings/sec, 90 secs
lola: 20767717 markings, 39033116 edges, 189514 markings/sec, 95 secs
lola: 21711751 markings, 40860388 edges, 188807 markings/sec, 100 secs
lola: 22649529 markings, 42684540 edges, 187556 markings/sec, 105 secs
lola: 23571702 markings, 44500269 edges, 184435 markings/sec, 110 secs
lola: 24492583 markings, 46318412 edges, 184176 markings/sec, 115 secs
lola: 25414573 markings, 48129066 edges, 184398 markings/sec, 120 secs
lola: 26332668 markings, 49925472 edges, 183619 markings/sec, 125 secs
lola: 27248247 markings, 51730105 edges, 183116 markings/sec, 130 secs
lola: 28164673 markings, 53534665 edges, 183285 markings/sec, 135 secs
lola: 29075388 markings, 55345051 edges, 182143 markings/sec, 140 secs
lola: 29977081 markings, 57127361 edges, 180339 markings/sec, 145 secs
lola: 30889549 markings, 58923906 edges, 182494 markings/sec, 150 secs
lola: 31783945 markings, 60709201 edges, 178879 markings/sec, 155 secs
lola: 32689436 markings, 62486174 edges, 181098 markings/sec, 160 secs
lola: 33601976 markings, 64274090 edges, 182508 markings/sec, 165 secs
lola: 34507248 markings, 66055307 edges, 181054 markings/sec, 170 secs
lola: 35392289 markings, 67819054 edges, 177008 markings/sec, 175 secs
lola: 36283932 markings, 69587769 edges, 178329 markings/sec, 180 secs
lola: 37170913 markings, 71350271 edges, 177396 markings/sec, 185 secs
lola: 38044838 markings, 73096926 edges, 174785 markings/sec, 190 secs
lola: 38916857 markings, 74839227 edges, 174404 markings/sec, 195 secs
lola: 39792726 markings, 76589499 edges, 175174 markings/sec, 200 secs
lola: 40666074 markings, 78334026 edges, 174670 markings/sec, 205 secs
lola: 41523164 markings, 80071962 edges, 171418 markings/sec, 210 secs
lola: 42398504 markings, 81824502 edges, 175068 markings/sec, 215 secs
lola: 43268754 markings, 83558309 edges, 174050 markings/sec, 220 secs
lola: 44139015 markings, 85311876 edges, 174052 markings/sec, 225 secs
lola: 45006141 markings, 87038900 edges, 173425 markings/sec, 230 secs
lola: 45879534 markings, 88776473 edges, 174679 markings/sec, 235 secs
lola: 46731510 markings, 90490792 edges, 170395 markings/sec, 240 secs
lola: 47583558 markings, 92197828 edges, 170410 markings/sec, 245 secs
lola: 48423128 markings, 93906069 edges, 167914 markings/sec, 250 secs
lola: 49278422 markings, 95623162 edges, 171059 markings/sec, 255 secs
lola: 50126044 markings, 97326048 edges, 169524 markings/sec, 260 secs
lola: 50977270 markings, 99036401 edges, 170245 markings/sec, 265 secs
lola: 51832556 markings, 100744253 edges, 171057 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 10 10 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4893132 KB
lola: time consumption: 526 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 10 10 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4934084 KB
lola: time consumption: 530 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 274 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-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 11 markings, 10 edges

FORMULA Angiogenesis-PT-10-UpperBounds-5 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPgStarP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPgStarP3)
lola: processed formula length: 24
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 5431 markings, 8961 edges

FORMULA Angiogenesis-PT-10-UpperBounds-6 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 335 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-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges

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

FORMULA Angiogenesis-PT-10-UpperBounds-8 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 431 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-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 11 markings, 10 edges
lola: ========================================

FORMULA Angiogenesis-PT-10-UpperBounds-9 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 503 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-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 21 markings, 20 edges
lola: ========================================

FORMULA Angiogenesis-PT-10-UpperBounds-10 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 604 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStar)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Angiogenesis-PT-10-UpperBounds-11 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 755 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-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 1358853 markings, 2364754 edges, 271771 markings/sec, 0 secs
lola: 2614142 markings, 4589259 edges, 251058 markings/sec, 5 secs
lola: 3819907 markings, 6751575 edges, 241153 markings/sec, 10 secs
lola: 4997947 markings, 8865253 edges, 235608 markings/sec, 15 secs
lola: 6150888 markings, 10948772 edges, 230588 markings/sec, 20 secs
lola: 7295260 markings, 13022857 edges, 228874 markings/sec, 25 secs
lola: 8414641 markings, 15065730 edges, 223876 markings/sec, 30 secs
lola: 9528637 markings, 17095368 edges, 222799 markings/sec, 35 secs
lola: 10636325 markings, 19115178 edges, 221538 markings/sec, 40 secs
lola: 11726087 markings, 21119055 edges, 217952 markings/sec, 45 secs
lola: 12808627 markings, 23110070 edges, 216508 markings/sec, 50 secs
lola: 13875364 markings, 25087921 edges, 213347 markings/sec, 55 secs
lola: 14955859 markings, 27076968 edges, 216099 markings/sec, 60 secs
lola: 16035013 markings, 29062357 edges, 215831 markings/sec, 65 secs
lola: 17096849 markings, 31015936 edges, 212367 markings/sec, 70 secs
lola: 18147917 markings, 32963802 edges, 210214 markings/sec, 75 secs
lola: 19200314 markings, 34911417 edges, 210479 markings/sec, 80 secs
lola: 20244551 markings, 36852542 edges, 208847 markings/sec, 85 secs
lola: 21287066 markings, 38793582 edges, 208503 markings/sec, 90 secs
lola: 22311240 markings, 40711183 edges, 204835 markings/sec, 95 secs
lola: 23341434 markings, 42635241 edges, 206039 markings/sec, 100 secs
lola: 24366727 markings, 44549748 edges, 205059 markings/sec, 105 secs
lola: 25390641 markings, 46456815 edges, 204783 markings/sec, 110 secs
lola: 26402940 markings, 48360901 edges, 202460 markings/sec, 115 secs
lola: 27399910 markings, 50243410 edges, 199394 markings/sec, 120 secs
lola: 28402217 markings, 52119489 edges, 200461 markings/sec, 125 secs
lola: 29402555 markings, 54009262 edges, 200068 markings/sec, 130 secs
lola: 30400228 markings, 55885748 edges, 199535 markings/sec, 135 secs
lola: 31394028 markings, 57767513 edges, 198760 markings/sec, 140 secs
lola: 32388514 markings, 59644346 edges, 198897 markings/sec, 145 secs
lola: 33371484 markings, 61501520 edges, 196594 markings/sec, 150 secs
lola: 34349582 markings, 63355149 edges, 195620 markings/sec, 155 secs
lola: 35309813 markings, 65195540 edges, 192046 markings/sec, 160 secs
lola: 36279614 markings, 67047323 edges, 193960 markings/sec, 165 secs
lola: 37242833 markings, 68888340 edges, 192644 markings/sec, 170 secs
lola: 38211704 markings, 70733700 edges, 193774 markings/sec, 175 secs
lola: 39185273 markings, 72584511 edges, 194714 markings/sec, 180 secs
lola: 40151503 markings, 74425987 edges, 193246 markings/sec, 185 secs
lola: 41116618 markings, 76260076 edges, 193023 markings/sec, 190 secs
lola: 42069579 markings, 78080333 edges, 190592 markings/sec, 195 secs
lola: 43027632 markings, 79907128 edges, 191611 markings/sec, 200 secs
lola: 43988220 markings, 81732709 edges, 192118 markings/sec, 205 secs
lola: 44940795 markings, 83552107 edges, 190515 markings/sec, 210 secs
lola: 45908278 markings, 85393288 edges, 193497 markings/sec, 215 secs
lola: 46852540 markings, 87207030 edges, 188852 markings/sec, 220 secs
lola: 47811739 markings, 89042110 edges, 191840 markings/sec, 225 secs
lola: 48753491 markings, 90849510 edges, 188350 markings/sec, 230 secs
lola: 49696832 markings, 92664145 edges, 188668 markings/sec, 235 secs
lola: 50603928 markings, 94406348 edges, 181419 markings/sec, 240 secs
lola: 51506333 markings, 96137127 edges, 180481 markings/sec, 245 secs
lola: 52417292 markings, 97892632 edges, 182192 markings/sec, 250 secs
lola: 53347151 markings, 99690169 edges, 185972 markings/sec, 255 secs
lola: 54259712 markings, 101458203 edges, 182512 markings/sec, 260 secs
lola: 55185863 markings, 103245239 edges, 185230 markings/sec, 265 secs
lola: 56116204 markings, 105029020 edges, 186068 markings/sec, 270 secs
lola: 57042876 markings, 106810449 edges, 185334 markings/sec, 275 secs
lola: 57950701 markings, 108579654 edges, 181565 markings/sec, 280 secs
lola: 58867051 markings, 110350401 edges, 183270 markings/sec, 285 secs
lola: 59780085 markings, 112121236 edges, 182607 markings/sec, 290 secs
lola: 60679554 markings, 113870444 edges, 179894 markings/sec, 295 secs
lola: 61576482 markings, 115616472 edges, 179386 markings/sec, 300 secs
lola: 62488280 markings, 117386320 edges, 182360 markings/sec, 305 secs
lola: 63395892 markings, 119138473 edges, 181522 markings/sec, 310 secs
lola: 64306209 markings, 120902800 edges, 182063 markings/sec, 315 secs
lola: 65207307 markings, 122652046 edges, 180220 markings/sec, 320 secs
lola: 66099423 markings, 124396142 edges, 178423 markings/sec, 325 secs
lola: 66995803 markings, 126147006 edges, 179276 markings/sec, 330 secs
lola: 67896299 markings, 127893407 edges, 180099 markings/sec, 335 secs
lola: 68768108 markings, 129591661 edges, 174362 markings/sec, 340 secs
lola: 69642732 markings, 131298559 edges, 174925 markings/sec, 345 secs
lola: 70537657 markings, 133037196 edges, 178985 markings/sec, 350 secs
lola: 71420398 markings, 134759920 edges, 176548 markings/sec, 355 secs
lola: 72311421 markings, 136498290 edges, 178205 markings/sec, 360 secs
lola: 73190162 markings, 138221579 edges, 175748 markings/sec, 365 secs
lola: 74083503 markings, 139956659 edges, 178668 markings/sec, 370 secs
lola: 74956068 markings, 141664841 edges, 174513 markings/sec, 375 secs
lola: 75835900 markings, 143395185 edges, 175966 markings/sec, 380 secs
lola: 76714393 markings, 145122030 edges, 175699 markings/sec, 385 secs
lola: 77613399 markings, 146875360 edges, 179801 markings/sec, 390 secs
lola: 78495764 markings, 148607475 edges, 176473 markings/sec, 395 secs
lola: 79384588 markings, 150339368 edges, 177765 markings/sec, 400 secs
lola: 80264279 markings, 152063205 edges, 175938 markings/sec, 405 secs
lola: 81144920 markings, 153783461 edges, 176128 markings/sec, 410 secs
lola: 82020285 markings, 155507320 edges, 175073 markings/sec, 415 secs
lola: 82878361 markings, 157186670 edges, 171615 markings/sec, 420 secs
lola: 83742755 markings, 158892268 edges, 172879 markings/sec, 425 secs
lola: 84614929 markings, 160606993 edges, 174435 markings/sec, 430 secs
lola: 85482930 markings, 162307155 edges, 173600 markings/sec, 435 secs
lola: 86353020 markings, 164009080 edges, 174018 markings/sec, 440 secs
lola: 87217611 markings, 165705630 edges, 172918 markings/sec, 445 secs
lola: 88081590 markings, 167413634 edges, 172796 markings/sec, 450 secs
lola: 88952355 markings, 169125861 edges, 174153 markings/sec, 455 secs
lola: 89821035 markings, 170837756 edges, 173736 markings/sec, 460 secs
lola: 90685322 markings, 172541550 edges, 172857 markings/sec, 465 secs
lola: 91551171 markings, 174250721 edges, 173170 markings/sec, 470 secs
lola: 92419875 markings, 175951406 edges, 173741 markings/sec, 475 secs
lola: 93276811 markings, 177630856 edges, 171387 markings/sec, 480 secs
lola: 94123014 markings, 179308425 edges, 169241 markings/sec, 485 secs
lola: 94976724 markings, 180993510 edges, 170742 markings/sec, 490 secs
lola: 95844416 markings, 182699863 edges, 173538 markings/sec, 495 secs
lola: 96697289 markings, 184396970 edges, 170575 markings/sec, 500 secs
lola: 97557157 markings, 186091334 edges, 171974 markings/sec, 505 secs
lola: 98411515 markings, 187788735 edges, 170872 markings/sec, 510 secs
lola: 99253919 markings, 189465327 edges, 168481 markings/sec, 515 secs
lola: 100117058 markings, 191163377 edges, 172628 markings/sec, 520 secs
lola: 100961933 markings, 192845127 edges, 168975 markings/sec, 525 secs
lola: 101821370 markings, 194540045 edges, 171887 markings/sec, 530 secs
lola: 102679004 markings, 196232997 edges, 171527 markings/sec, 535 secs
lola: 103531640 markings, 197912404 edges, 170527 markings/sec, 540 secs
lola: 104377542 markings, 199588522 edges, 169180 markings/sec, 545 secs
lola: 105226750 markings, 201271293 edges, 169842 markings/sec, 550 secs
lola: 106085348 markings, 202966643 edges, 171720 markings/sec, 555 secs
lola: 106930034 markings, 204648354 edges, 168937 markings/sec, 560 secs
lola: 107768325 markings, 206323093 edges, 167658 markings/sec, 565 secs
lola: 108604987 markings, 207995762 edges, 167332 markings/sec, 570 secs
lola: 109451059 markings, 209676843 edges, 169214 markings/sec, 575 secs
lola: 110285491 markings, 211350997 edges, 166886 markings/sec, 580 secs
lola: 111134370 markings, 213042481 edges, 169776 markings/sec, 585 secs
lola: 111960507 markings, 214708728 edges, 165227 markings/sec, 590 secs
lola: 112805232 markings, 216378693 edges, 168945 markings/sec, 595 secs
lola: 113651325 markings, 218054162 edges, 169219 markings/sec, 600 secs
lola: 114496950 markings, 219729828 edges, 169125 markings/sec, 605 secs
lola: 115323849 markings, 221388538 edges, 165380 markings/sec, 610 secs
lola: 116147192 markings, 223035868 edges, 164669 markings/sec, 615 secs
lola: 116985576 markings, 224702811 edges, 167677 markings/sec, 620 secs
lola: 117810975 markings, 226365799 edges, 165080 markings/sec, 625 secs
lola: 118645714 markings, 228031735 edges, 166948 markings/sec, 630 secs
lola: 119476991 markings, 229705622 edges, 166255 markings/sec, 635 secs
lola: 120308244 markings, 231357092 edges, 166251 markings/sec, 640 secs
lola: 121147056 markings, 233014533 edges, 167762 markings/sec, 645 secs
lola: 121974536 markings, 234674812 edges, 165496 markings/sec, 650 secs
lola: 122798091 markings, 236320603 edges, 164711 markings/sec, 655 secs
lola: 123626847 markings, 237985094 edges, 165751 markings/sec, 660 secs
lola: 124447022 markings, 239626453 edges, 164035 markings/sec, 665 secs
lola: 125281250 markings, 241281760 edges, 166846 markings/sec, 670 secs
lola: 126113085 markings, 242939544 edges, 166367 markings/sec, 675 secs
lola: 126934658 markings, 244594187 edges, 164315 markings/sec, 680 secs
lola: 127763566 markings, 246256656 edges, 165782 markings/sec, 685 secs
lola: 128581228 markings, 247902772 edges, 163532 markings/sec, 690 secs
lola: 129401042 markings, 249559919 edges, 163963 markings/sec, 695 secs
lola: 130237840 markings, 251220566 edges, 167360 markings/sec, 700 secs
lola: 131055743 markings, 252860110 edges, 163581 markings/sec, 705 secs
lola: 131835802 markings, 254410109 edges, 156012 markings/sec, 710 secs
lola: 132665731 markings, 256065413 edges, 165986 markings/sec, 715 secs
lola: 133487810 markings, 257724534 edges, 164416 markings/sec, 720 secs
lola: 134304539 markings, 259364200 edges, 163346 markings/sec, 725 secs
lola: 135113067 markings, 260996688 edges, 161706 markings/sec, 730 secs
lola: 135930054 markings, 262645662 edges, 163397 markings/sec, 735 secs
lola: 136754850 markings, 264294739 edges, 164959 markings/sec, 740 secs
lola: 137580647 markings, 265947049 edges, 165159 markings/sec, 745 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 10 10 10 unknown 10 10 10 5 10 10 10 unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 755 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3kStarP3P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarP3kStarP3P2)
lola: processed formula length: 27
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-10-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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 2901 markings, 4541 edges
lola: ========================================

FORMULA Angiogenesis-PT-10-UpperBounds-13 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1133 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarPgStarP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarPgStarP2)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 31 markings, 39 edges
lola:
FORMULA Angiogenesis-PT-10-UpperBounds-14 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 15 will run for 2266 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-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 184699 markings, 341645 edges
lola: ========================================

FORMULA Angiogenesis-PT-10-UpperBounds-15 10 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-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 1170901 markings, 2297494 edges, 234180 markings/sec, 0 secs
lola: 2257576 markings, 4522278 edges, 217335 markings/sec, 5 secs
lola: 3312399 markings, 6721692 edges, 210965 markings/sec, 10 secs
lola: 4339373 markings, 8886641 edges, 205395 markings/sec, 15 secs
lola: 5340889 markings, 11022184 edges, 200303 markings/sec, 20 secs
lola: 6326442 markings, 13136088 edges, 197111 markings/sec, 25 secs
lola: 7307909 markings, 15252958 edges, 196293 markings/sec, 30 secs
lola: 8263601 markings, 17338739 edges, 191138 markings/sec, 35 secs
lola: 9207027 markings, 19408681 edges, 188685 markings/sec, 40 secs
lola: 10149493 markings, 21477060 edges, 188493 markings/sec, 45 secs
lola: 11079993 markings, 23532312 edges, 186100 markings/sec, 50 secs
lola: 12002879 markings, 25568675 edges, 184577 markings/sec, 55 secs
lola: 12919044 markings, 27597140 edges, 183233 markings/sec, 60 secs
lola: 13837703 markings, 29628594 edges, 183732 markings/sec, 65 secs
lola: 14748632 markings, 31659232 edges, 182186 markings/sec, 70 secs
lola: 15659236 markings, 33681915 edges, 182121 markings/sec, 75 secs
lola: 16563414 markings, 35694957 edges, 180836 markings/sec, 80 secs
lola: 17454029 markings, 37691773 edges, 178123 markings/sec, 85 secs
lola: 18340733 markings, 39683303 edges, 177341 markings/sec, 90 secs
lola: 19232168 markings, 41677472 edges, 178287 markings/sec, 95 secs
lola: 20114082 markings, 43660350 edges, 176383 markings/sec, 100 secs
lola: 20996626 markings, 45646260 edges, 176509 markings/sec, 105 secs
lola: 21868801 markings, 47618435 edges, 174435 markings/sec, 110 secs
lola: 22757952 markings, 49613951 edges, 177830 markings/sec, 115 secs
lola: 23620458 markings, 51568606 edges, 172501 markings/sec, 120 secs
lola: 24490724 markings, 53540540 edges, 174053 markings/sec, 125 secs
lola: 25341657 markings, 55483309 edges, 170187 markings/sec, 130 secs
lola: 26203773 markings, 57427520 edges, 172423 markings/sec, 135 secs
lola: 27047717 markings, 59345468 edges, 168789 markings/sec, 140 secs
lola: 27898981 markings, 61282582 edges, 170253 markings/sec, 145 secs
lola: 28749260 markings, 63228448 edges, 170056 markings/sec, 150 secs
lola: 29597862 markings, 65168136 edges, 169720 markings/sec, 155 secs
lola: 30452533 markings, 67116017 edges, 170934 markings/sec, 160 secs
lola: 31298643 markings, 69043839 edges, 169222 markings/sec, 165 secs
lola: 32156639 markings, 70993381 edges, 171599 markings/sec, 170 secs
lola: 33002899 markings, 72923438 edges, 169252 markings/sec, 175 secs
lola: 33846391 markings, 74858113 edges, 168698 markings/sec, 180 secs
lola: 34692995 markings, 76793588 edges, 169321 markings/sec, 185 secs
lola: 35517727 markings, 78691601 edges, 164946 markings/sec, 190 secs
lola: 36360689 markings, 80621967 edges, 168592 markings/sec, 195 secs
lola: 37197189 markings, 82544821 edges, 167300 markings/sec, 200 secs
lola: 38028761 markings, 84462576 edges, 166314 markings/sec, 205 secs
lola: 38860925 markings, 86375464 edges, 166433 markings/sec, 210 secs
lola: 39674574 markings, 88261998 edges, 162730 markings/sec, 215 secs
lola: 40505483 markings, 90171055 edges, 166182 markings/sec, 220 secs
lola: 41315370 markings, 92049936 edges, 161977 markings/sec, 225 secs
lola: 42132318 markings, 93939536 edges, 163390 markings/sec, 230 secs
lola: 42955972 markings, 95839813 edges, 164731 markings/sec, 235 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 43682188 markings, 97510838 edges

FORMULA Angiogenesis-PT-10-UpperBounds-0 10 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
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-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 1244211 markings, 2188671 edges, 248842 markings/sec, 0 secs
lola: 2452151 markings, 4352636 edges, 241588 markings/sec, 5 secs
lola: 3618853 markings, 6460771 edges, 233340 markings/sec, 10 secs
lola: 4737943 markings, 8519947 edges, 223818 markings/sec, 15 secs
lola: 5838245 markings, 10554179 edges, 220060 markings/sec, 20 secs
lola: 6911148 markings, 12555562 edges, 214581 markings/sec, 25 secs
lola: 7974656 markings, 14549568 edges, 212702 markings/sec, 30 secs
lola: 9019511 markings, 16514296 edges, 208971 markings/sec, 35 secs
lola: 10049976 markings, 18459115 edges, 206093 markings/sec, 40 secs
lola: 11071163 markings, 20391881 edges, 204237 markings/sec, 45 secs
lola: 12090727 markings, 22324664 edges, 203913 markings/sec, 50 secs
lola: 13096808 markings, 24236743 edges, 201216 markings/sec, 55 secs
lola: 14090341 markings, 26142604 edges, 198707 markings/sec, 60 secs
lola: 15091127 markings, 28048539 edges, 200157 markings/sec, 65 secs
lola: 16069378 markings, 29938953 edges, 195650 markings/sec, 70 secs
lola: 17047221 markings, 31817242 edges, 195569 markings/sec, 75 secs
lola: 18021422 markings, 33698593 edges, 194840 markings/sec, 80 secs
lola: 18986310 markings, 35574409 edges, 192978 markings/sec, 85 secs
lola: 19948033 markings, 37443333 edges, 192345 markings/sec, 90 secs
lola: 20904981 markings, 39296417 edges, 191390 markings/sec, 95 secs
lola: 21855050 markings, 41132958 edges, 190014 markings/sec, 100 secs
lola: 22793122 markings, 42968871 edges, 187614 markings/sec, 105 secs
lola: 23727817 markings, 44799955 edges, 186939 markings/sec, 110 secs
lola: 24651417 markings, 46629859 edges, 184720 markings/sec, 115 secs
lola: 25578693 markings, 48452124 edges, 185455 markings/sec, 120 secs
lola: 26504235 markings, 50268292 edges, 185108 markings/sec, 125 secs
lola: 27424115 markings, 52081903 edges, 183976 markings/sec, 130 secs
lola: 28346264 markings, 53896997 edges, 184430 markings/sec, 135 secs
lola: 29267700 markings, 55719204 edges, 184287 markings/sec, 140 secs
lola: 30172969 markings, 57519095 edges, 181054 markings/sec, 145 secs
lola: 31085284 markings, 59315120 edges, 182463 markings/sec, 150 secs
lola: 31985130 markings, 61104238 edges, 179969 markings/sec, 155 secs
lola: 32896760 markings, 62887895 edges, 182326 markings/sec, 160 secs
lola: 33808175 markings, 64680949 edges, 182283 markings/sec, 165 secs
lola: 34671736 markings, 66379681 edges, 172712 markings/sec, 170 secs
lola: 35553663 markings, 68138415 edges, 176385 markings/sec, 175 secs
lola: 36440056 markings, 69898607 edges, 177279 markings/sec, 180 secs
lola: 37328251 markings, 71660160 edges, 177639 markings/sec, 185 secs
lola: 38201158 markings, 73408924 edges, 174581 markings/sec, 190 secs
lola: 39073247 markings, 75157966 edges, 174418 markings/sec, 195 secs
lola: 39952516 markings, 76905934 edges, 175854 markings/sec, 200 secs
lola: 40825459 markings, 78653963 edges, 174589 markings/sec, 205 secs
lola: 41683882 markings, 80396273 edges, 171685 markings/sec, 210 secs
lola: 42557474 markings, 82137352 edges, 174718 markings/sec, 215 secs
lola: 43422840 markings, 83879248 edges, 173073 markings/sec, 220 secs
lola: 44296231 markings, 85620639 edges, 174678 markings/sec, 225 secs
lola: 45166316 markings, 87356307 edges, 174017 markings/sec, 230 secs
lola: 46034575 markings, 89088758 edges, 173652 markings/sec, 235 secs
lola: 46890801 markings, 90817194 edges, 171245 markings/sec, 240 secs
lola: 47749067 markings, 92537339 edges, 171653 markings/sec, 245 secs
lola: 48604733 markings, 94274876 edges, 171133 markings/sec, 250 secs
lola: 49467563 markings, 96004465 edges, 172566 markings/sec, 255 secs
lola: 50334384 markings, 97740437 edges, 173364 markings/sec, 260 secs
lola: 51188349 markings, 99466010 edges, 170793 markings/sec, 265 secs
lola: 52058328 markings, 101197594 edges, 173996 markings/sec, 270 secs
lola: 52917196 markings, 102922710 edges, 171774 markings/sec, 275 secs
lola: 53772317 markings, 104640081 edges, 171024 markings/sec, 280 secs
lola: 54599399 markings, 106330671 edges, 165416 markings/sec, 285 secs
lola: 55437005 markings, 108039543 edges, 167521 markings/sec, 290 secs
lola: 56258353 markings, 109722657 edges, 164270 markings/sec, 295 secs
lola: 57092426 markings, 111422115 edges, 166815 markings/sec, 300 secs
lola: 57954500 markings, 113142449 edges, 172415 markings/sec, 305 secs
lola: 58789566 markings, 114840866 edges, 167013 markings/sec, 310 secs
lola: 59617625 markings, 116525603 edges, 165612 markings/sec, 315 secs
lola: 60456681 markings, 118221514 edges, 167811 markings/sec, 320 secs
lola: 61295345 markings, 119908615 edges, 167733 markings/sec, 325 secs
lola: 62130679 markings, 121591385 edges, 167067 markings/sec, 330 secs
lola: 62970467 markings, 123281907 edges, 167958 markings/sec, 335 secs
lola: 63802919 markings, 124976098 edges, 166490 markings/sec, 340 secs
lola: 64646522 markings, 126674831 edges, 168721 markings/sec, 345 secs
lola: 65482755 markings, 128352688 edges, 167247 markings/sec, 350 secs
lola: 66317369 markings, 130034115 edges, 166923 markings/sec, 355 secs
lola: 67143357 markings, 131704033 edges, 165198 markings/sec, 360 secs
lola: 67959215 markings, 133376444 edges, 163172 markings/sec, 365 secs
lola: 68787002 markings, 135049012 edges, 165557 markings/sec, 370 secs
lola: 69625329 markings, 136742594 edges, 167665 markings/sec, 375 secs
lola: 70460311 markings, 138431023 edges, 166996 markings/sec, 380 secs
lola: 71295601 markings, 140115646 edges, 167058 markings/sec, 385 secs
lola: 72114432 markings, 141773527 edges, 163766 markings/sec, 390 secs
lola: 72942067 markings, 143447297 edges, 165527 markings/sec, 395 secs
lola: 73758990 markings, 145117053 edges, 163385 markings/sec, 400 secs
lola: 74584099 markings, 146792105 edges, 165022 markings/sec, 405 secs
lola: 75389583 markings, 148459405 edges, 161097 markings/sec, 410 secs
lola: 76205938 markings, 150126914 edges, 163271 markings/sec, 415 secs
lola: 77032716 markings, 151805734 edges, 165356 markings/sec, 420 secs
lola: 77853387 markings, 153480532 edges, 164134 markings/sec, 425 secs
lola: 78674055 markings, 155140334 edges, 164134 markings/sec, 430 secs
lola: 79468669 markings, 156772735 edges, 158923 markings/sec, 435 secs
lola: 80256511 markings, 158396996 edges, 157568 markings/sec, 440 secs
lola: 81053699 markings, 160034533 edges, 159438 markings/sec, 445 secs
lola: 81854714 markings, 161677685 edges, 160203 markings/sec, 450 secs
lola: 82647785 markings, 163316867 edges, 158614 markings/sec, 455 secs
lola: 83458689 markings, 164972348 edges, 162181 markings/sec, 460 secs
lola: 84261643 markings, 166624590 edges, 160591 markings/sec, 465 secs
lola: 85065227 markings, 168284602 edges, 160717 markings/sec, 470 secs
lola: 85870974 markings, 169946244 edges, 161149 markings/sec, 475 secs
lola: 86678249 markings, 171595065 edges, 161455 markings/sec, 480 secs
lola: 87476093 markings, 173238558 edges, 159569 markings/sec, 485 secs
lola: 88289747 markings, 174899252 edges, 162731 markings/sec, 490 secs
lola: 89086621 markings, 176546024 edges, 159375 markings/sec, 495 secs
lola: 89894971 markings, 178195226 edges, 161670 markings/sec, 500 secs
lola: 90702721 markings, 179841822 edges, 161550 markings/sec, 505 secs
lola: 91502246 markings, 181484954 edges, 159905 markings/sec, 510 secs
lola: 92326360 markings, 183145638 edges, 164823 markings/sec, 515 secs
lola: 93127356 markings, 184785572 edges, 160199 markings/sec, 520 secs
lola: 93942768 markings, 186434861 edges, 163082 markings/sec, 525 secs
lola: 94740607 markings, 188082148 edges, 159568 markings/sec, 530 secs
lola: 95542695 markings, 189728695 edges, 160418 markings/sec, 535 secs
lola: 96336591 markings, 191363618 edges, 158779 markings/sec, 540 secs
lola: 97130543 markings, 192992923 edges, 158790 markings/sec, 545 secs
lola: 97920866 markings, 194615703 edges, 158065 markings/sec, 550 secs
lola: 98707180 markings, 196241854 edges, 157263 markings/sec, 555 secs
lola: 99498374 markings, 197876168 edges, 158239 markings/sec, 560 secs
lola: 100283300 markings, 199498286 edges, 156985 markings/sec, 565 secs
lola: 101082901 markings, 201131829 edges, 159920 markings/sec, 570 secs
lola: 101863884 markings, 202762506 edges, 156197 markings/sec, 575 secs
lola: 102653594 markings, 204399202 edges, 157942 markings/sec, 580 secs
lola: 103451633 markings, 206039043 edges, 159608 markings/sec, 585 secs
lola: 104229958 markings, 207653406 edges, 155665 markings/sec, 590 secs
lola: 105018122 markings, 209279849 edges, 157633 markings/sec, 595 secs
lola: 105795098 markings, 210873253 edges, 155395 markings/sec, 600 secs
lola: 106581882 markings, 212492356 edges, 157357 markings/sec, 605 secs
lola: 107373675 markings, 214109708 edges, 158359 markings/sec, 610 secs
lola: 108150323 markings, 215717054 edges, 155330 markings/sec, 615 secs
lola: 108939460 markings, 217338251 edges, 157827 markings/sec, 620 secs
lola: 109699346 markings, 218931974 edges, 151977 markings/sec, 625 secs
lola: 110485697 markings, 220559145 edges, 157270 markings/sec, 630 secs
lola: 111271287 markings, 222186560 edges, 157118 markings/sec, 635 secs
lola: 112047772 markings, 223795836 edges, 155297 markings/sec, 640 secs
lola: 112804760 markings, 225390068 edges, 151398 markings/sec, 645 secs
lola: 113581010 markings, 226997946 edges, 155250 markings/sec, 650 secs
lola: 114353230 markings, 228618320 edges, 154444 markings/sec, 655 secs
lola: 115131865 markings, 230225865 edges, 155727 markings/sec, 660 secs
lola: 115915716 markings, 231845909 edges, 156770 markings/sec, 665 secs
lola: 116701291 markings, 233458729 edges, 157115 markings/sec, 670 secs
lola: 117473596 markings, 235071482 edges, 154461 markings/sec, 675 secs
lola: 118246570 markings, 236677859 edges, 154595 markings/sec, 680 secs
lola: 119022477 markings, 238290344 edges, 155181 markings/sec, 685 secs
lola: 119777068 markings, 239882284 edges, 150918 markings/sec, 690 secs
lola: 120555931 markings, 241499239 edges, 155773 markings/sec, 695 secs
lola: 121333624 markings, 243113273 edges, 155539 markings/sec, 700 secs
lola: 122104063 markings, 244727983 edges, 154088 markings/sec, 705 secs
lola: 122873656 markings, 246328641 edges, 153919 markings/sec, 710 secs
lola: 123632261 markings, 247929044 edges, 151721 markings/sec, 715 secs
lola: 124405010 markings, 249538544 edges, 154550 markings/sec, 720 secs
lola: 125177647 markings, 251147197 edges, 154527 markings/sec, 725 secs
lola: 125955354 markings, 252758642 edges, 155541 markings/sec, 730 secs
lola: 126724972 markings, 254361974 edges, 153924 markings/sec, 735 secs
lola: 127487680 markings, 255953461 edges, 152542 markings/sec, 740 secs
lola: 128263901 markings, 257551387 edges, 155244 markings/sec, 745 secs
lola: 129018497 markings, 259127834 edges, 150919 markings/sec, 750 secs
lola: 129784462 markings, 260720601 edges, 153193 markings/sec, 755 secs
lola: 130543144 markings, 262297367 edges, 151736 markings/sec, 760 secs
lola: 131316039 markings, 263891395 edges, 154579 markings/sec, 765 secs
lola: 132068910 markings, 265474673 edges, 150574 markings/sec, 770 secs
lola: 132836266 markings, 267063760 edges, 153471 markings/sec, 775 secs
lola: 133605155 markings, 268655349 edges, 153778 markings/sec, 780 secs
lola: 134351623 markings, 270225271 edges, 149294 markings/sec, 785 secs
lola: 135113152 markings, 271811692 edges, 152306 markings/sec, 790 secs
lola: 135877417 markings, 273396525 edges, 152853 markings/sec, 795 secs
lola: 136638823 markings, 274980964 edges, 152281 markings/sec, 800 secs
lola: 137400495 markings, 276561580 edges, 152334 markings/sec, 805 secs
lola: 138147334 markings, 278132402 edges, 149368 markings/sec, 810 secs
lola: 138894259 markings, 279707766 edges, 149385 markings/sec, 815 secs
lola: 139643847 markings, 281267054 edges, 149918 markings/sec, 820 secs
lola: 140407652 markings, 282865200 edges, 152761 markings/sec, 825 secs
lola: 141170821 markings, 284462587 edges, 152634 markings/sec, 830 secs
lola: 141922289 markings, 286039773 edges, 150294 markings/sec, 835 secs
lola: 142683692 markings, 287624057 edges, 152281 markings/sec, 840 secs
lola: 143432392 markings, 289201287 edges, 149740 markings/sec, 845 secs
lola: 144179772 markings, 290760534 edges, 149476 markings/sec, 850 secs
lola: 144916949 markings, 292304242 edges, 147435 markings/sec, 855 secs
lola: 145672653 markings, 293871034 edges, 151141 markings/sec, 860 secs
lola: 146404450 markings, 295406879 edges, 146359 markings/sec, 865 secs
lola: 147135399 markings, 296948425 edges, 146190 markings/sec, 870 secs
lola: 147889152 markings, 298510308 edges, 150751 markings/sec, 875 secs
lola: 148630598 markings, 300066782 edges, 148289 markings/sec, 880 secs
lola: 149373924 markings, 301624984 edges, 148665 markings/sec, 885 secs
lola: 150120927 markings, 303187769 edges, 149401 markings/sec, 890 secs
lola: 150861381 markings, 304730318 edges, 148091 markings/sec, 895 secs
lola: 151612086 markings, 306288158 edges, 150141 markings/sec, 900 secs
lola: 152339796 markings, 307829266 edges, 145542 markings/sec, 905 secs
lola: 153076992 markings, 309371351 edges, 147439 markings/sec, 910 secs
lola: 153830098 markings, 310929824 edges, 150621 markings/sec, 915 secs
lola: 154557099 markings, 312443734 edges, 145400 markings/sec, 920 secs
lola: 155303940 markings, 313999789 edges, 149368 markings/sec, 925 secs
lola: 156050298 markings, 315548148 edges, 149272 markings/sec, 930 secs
lola: 156792101 markings, 317096607 edges, 148361 markings/sec, 935 secs
lola: 157531189 markings, 318637331 edges, 147818 markings/sec, 940 secs
lola: 158264393 markings, 320177633 edges, 146641 markings/sec, 945 secs
lola: 158987985 markings, 321705443 edges, 144718 markings/sec, 950 secs
lola: 159732693 markings, 323265629 edges, 148942 markings/sec, 955 secs
lola: 160478042 markings, 324822216 edges, 149070 markings/sec, 960 secs
lola: 161198110 markings, 326341998 edges, 144014 markings/sec, 965 secs
lola: 161922102 markings, 327868198 edges, 144798 markings/sec, 970 secs
lola: 162645757 markings, 329391812 edges, 144731 markings/sec, 975 secs
lola: 163377680 markings, 330926367 edges, 146385 markings/sec, 980 secs
lola: 164107804 markings, 332462294 edges, 146025 markings/sec, 985 secs
lola: 164832403 markings, 333992184 edges, 144920 markings/sec, 990 secs
lola: 165553652 markings, 335515428 edges, 144250 markings/sec, 995 secs
lola: 166279031 markings, 337032194 edges, 145076 markings/sec, 1000 secs
lola: 167021447 markings, 338580859 edges, 148483 markings/sec, 1005 secs
lola: 167752106 markings, 340118000 edges, 146132 markings/sec, 1010 secs
lola: 168484762 markings, 341652000 edges, 146531 markings/sec, 1015 secs
lola: 168970582 markings, 342663256 edges, 97164 markings/sec, 1020 secs
lola: 169369226 markings, 343486564 edges, 79729 markings/sec, 1025 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA Angiogenesis-PT-10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
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-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 1335711 markings, 2323393 edges, 267142 markings/sec, 0 secs
lola: 2595637 markings, 4556867 edges, 251985 markings/sec, 5 secs
lola: 3801068 markings, 6717860 edges, 241086 markings/sec, 10 secs
lola: 4985948 markings, 8843264 edges, 236976 markings/sec, 15 secs
lola: 6142682 markings, 10932765 edges, 231347 markings/sec, 20 secs
lola: 7288948 markings, 13011054 edges, 229253 markings/sec, 25 secs
lola: 8415358 markings, 15066996 edges, 225282 markings/sec, 30 secs
lola: 9534712 markings, 17107047 edges, 223871 markings/sec, 35 secs
lola: 10646247 markings, 19132332 edges, 222307 markings/sec, 40 secs
lola: 11733813 markings, 21133508 edges, 217513 markings/sec, 45 secs
lola: 12816783 markings, 23124679 edges, 216594 markings/sec, 50 secs
lola: 13883295 markings, 25102960 edges, 213302 markings/sec, 55 secs
lola: 14966676 markings, 27097064 edges, 216676 markings/sec, 60 secs
lola: 16044079 markings, 29078956 edges, 215481 markings/sec, 65 secs
lola: 17114444 markings, 31048010 edges, 214073 markings/sec, 70 secs
lola: 18164918 markings, 32995232 edges, 210095 markings/sec, 75 secs
lola: 19219890 markings, 34947993 edges, 210994 markings/sec, 80 secs
lola: 20262910 markings, 36886731 edges, 208604 markings/sec, 85 secs
lola: 21305686 markings, 38828711 edges, 208555 markings/sec, 90 secs
lola: 22331641 markings, 40750229 edges, 205191 markings/sec, 95 secs
lola: 23359634 markings, 42669652 edges, 205599 markings/sec, 100 secs
lola: 24387801 markings, 44587565 edges, 205633 markings/sec, 105 secs
lola: 25411407 markings, 46497530 edges, 204721 markings/sec, 110 secs
lola: 26425120 markings, 48403832 edges, 202743 markings/sec, 115 secs
lola: 27427265 markings, 50294347 edges, 200429 markings/sec, 120 secs
lola: 28439548 markings, 52190627 edges, 202457 markings/sec, 125 secs
lola: 29440476 markings, 54082761 edges, 200186 markings/sec, 130 secs
lola: 30441770 markings, 55964722 edges, 200259 markings/sec, 135 secs
lola: 31436226 markings, 57846765 edges, 198891 markings/sec, 140 secs
lola: 32425946 markings, 59715726 edges, 197944 markings/sec, 145 secs
lola: 33419085 markings, 61591120 edges, 198628 markings/sec, 150 secs
lola: 34400307 markings, 63452043 edges, 196244 markings/sec, 155 secs
lola: 35359611 markings, 65290003 edges, 191861 markings/sec, 160 secs
lola: 36333763 markings, 67151332 edges, 194830 markings/sec, 165 secs
lola: 37306555 markings, 69010946 edges, 194558 markings/sec, 170 secs
lola: 38274859 markings, 70856676 edges, 193661 markings/sec, 175 secs
lola: 39242372 markings, 72695549 edges, 193503 markings/sec, 180 secs
lola: 40197828 markings, 74515781 edges, 191091 markings/sec, 185 secs
lola: 41169517 markings, 76358922 edges, 194338 markings/sec, 190 secs
lola: 42125864 markings, 78186846 edges, 191269 markings/sec, 195 secs
lola: 43085867 markings, 80018325 edges, 192001 markings/sec, 200 secs
lola: 44045643 markings, 81842469 edges, 191955 markings/sec, 205 secs
lola: 45003533 markings, 83668771 edges, 191578 markings/sec, 210 secs
lola: 45963847 markings, 85502706 edges, 192063 markings/sec, 215 secs
lola: 46915055 markings, 87325550 edges, 190242 markings/sec, 220 secs
lola: 47873514 markings, 89160828 edges, 191692 markings/sec, 225 secs
lola: 48812522 markings, 90965356 edges, 187802 markings/sec, 230 secs
lola: 49753846 markings, 92772230 edges, 188265 markings/sec, 235 secs
lola: 50696967 markings, 94586493 edges, 188624 markings/sec, 240 secs
lola: 51642041 markings, 96396821 edges, 189015 markings/sec, 245 secs
lola: 52576701 markings, 98211880 edges, 186932 markings/sec, 250 secs
lola: 53518961 markings, 100024830 edges, 188452 markings/sec, 255 secs
lola: 54448463 markings, 101820366 edges, 185900 markings/sec, 260 secs
lola: 55383124 markings, 103624697 edges, 186932 markings/sec, 265 secs
lola: 56321175 markings, 105424439 edges, 187610 markings/sec, 270 secs
lola: 57261135 markings, 107227935 edges, 187992 markings/sec, 275 secs
lola: 58171996 markings, 109009467 edges, 182172 markings/sec, 280 secs
lola: 59092617 markings, 110787521 edges, 184124 markings/sec, 285 secs
lola: 60012001 markings, 112573661 edges, 183877 markings/sec, 290 secs
lola: 60923082 markings, 114344811 edges, 182216 markings/sec, 295 secs
lola: 61838922 markings, 116127386 edges, 183168 markings/sec, 300 secs
lola: 62755728 markings, 117904291 edges, 183361 markings/sec, 305 secs
lola: 63678892 markings, 119688635 edges, 184633 markings/sec, 310 secs
lola: 64595910 markings, 121469226 edges, 183404 markings/sec, 315 secs
lola: 65507342 markings, 123239584 edges, 182286 markings/sec, 320 secs
lola: 66419163 markings, 125018824 edges, 182364 markings/sec, 325 secs
lola: 67331124 markings, 126795023 edges, 182392 markings/sec, 330 secs
lola: 68238906 markings, 128559944 edges, 181556 markings/sec, 335 secs
lola: 69139936 markings, 130317945 edges, 180206 markings/sec, 340 secs
lola: 70043662 markings, 132078909 edges, 180745 markings/sec, 345 secs
lola: 70956843 markings, 133851158 edges, 182636 markings/sec, 350 secs
lola: 71856987 markings, 135614136 edges, 180029 markings/sec, 355 secs
lola: 72747824 markings, 137361700 edges, 178167 markings/sec, 360 secs
lola: 73646081 markings, 139108629 edges, 179651 markings/sec, 365 secs
lola: 74549624 markings, 140866364 edges, 180709 markings/sec, 370 secs
lola: 75413274 markings, 142567652 edges, 172730 markings/sec, 375 secs
lola: 76302626 markings, 144310829 edges, 177870 markings/sec, 380 secs
lola: 77194322 markings, 146062898 edges, 178339 markings/sec, 385 secs
lola: 78086094 markings, 147809602 edges, 178354 markings/sec, 390 secs
lola: 78975965 markings, 149544651 edges, 177974 markings/sec, 395 secs
lola: 79867446 markings, 151287670 edges, 178296 markings/sec, 400 secs
lola: 80758245 markings, 153028210 edges, 178160 markings/sec, 405 secs
lola: 81647258 markings, 154772837 edges, 177803 markings/sec, 410 secs
lola: 82537181 markings, 156521137 edges, 177985 markings/sec, 415 secs
lola: 83421787 markings, 158259839 edges, 176921 markings/sec, 420 secs
lola: 84305080 markings, 159998902 edges, 176659 markings/sec, 425 secs
lola: 85197518 markings, 161741171 edges, 178488 markings/sec, 430 secs
lola: 86077891 markings, 163470541 edges, 176075 markings/sec, 435 secs
lola: 86953069 markings, 165190777 edges, 175036 markings/sec, 440 secs
lola: 87833164 markings, 166923975 edges, 176019 markings/sec, 445 secs
lola: 88716333 markings, 168660356 edges, 176634 markings/sec, 450 secs
lola: 89592250 markings, 170396465 edges, 175183 markings/sec, 455 secs
lola: 90474431 markings, 172123941 edges, 176436 markings/sec, 460 secs
lola: 91350043 markings, 173855030 edges, 175122 markings/sec, 465 secs
lola: 92236640 markings, 175586109 edges, 177319 markings/sec, 470 secs
lola: 93105277 markings, 177299128 edges, 173727 markings/sec, 475 secs
lola: 93972233 markings, 179007277 edges, 173391 markings/sec, 480 secs
lola: 94833613 markings, 180710011 edges, 172276 markings/sec, 485 secs
lola: 95710920 markings, 182438217 edges, 175461 markings/sec, 490 secs
lola: 96577871 markings, 184157810 edges, 173390 markings/sec, 495 secs
lola: 97449074 markings, 185878817 edges, 174241 markings/sec, 500 secs
lola: 98316276 markings, 187600762 edges, 173440 markings/sec, 505 secs
lola: 99173150 markings, 189308186 edges, 171375 markings/sec, 510 secs
lola: 100046058 markings, 191024176 edges, 174582 markings/sec, 515 secs
lola: 100904147 markings, 192730487 edges, 171618 markings/sec, 520 secs
lola: 101770942 markings, 194439773 edges, 173359 markings/sec, 525 secs
lola: 102635426 markings, 196148193 edges, 172897 markings/sec, 530 secs
lola: 103504459 markings, 197858688 edges, 173807 markings/sec, 535 secs
lola: 104356053 markings, 199546675 edges, 170319 markings/sec, 540 secs
lola: 105209218 markings, 201238412 edges, 170633 markings/sec, 545 secs
lola: 106078313 markings, 202952364 edges, 173819 markings/sec, 550 secs
lola: 106926926 markings, 204641969 edges, 169723 markings/sec, 555 secs
lola: 107770307 markings, 206326755 edges, 168676 markings/sec, 560 secs
lola: 108613556 markings, 208013027 edges, 168650 markings/sec, 565 secs
lola: 109464638 markings, 209704226 edges, 170216 markings/sec, 570 secs
lola: 110305186 markings, 211391052 edges, 168110 markings/sec, 575 secs
lola: 111153727 markings, 213082043 edges, 169708 markings/sec, 580 secs
lola: 111987195 markings, 214760097 edges, 166694 markings/sec, 585 secs
lola: 112840398 markings, 216446046 edges, 170641 markings/sec, 590 secs
lola: 113694144 markings, 218138292 edges, 170749 markings/sec, 595 secs
lola: 114547288 markings, 219831357 edges, 170629 markings/sec, 600 secs
lola: 115386843 markings, 221513742 edges, 167911 markings/sec, 605 secs
lola: 116226839 markings, 223193002 edges, 167999 markings/sec, 610 secs
lola: 117072748 markings, 224878704 edges, 169182 markings/sec, 615 secs
lola: 117905449 markings, 226555633 edges, 166540 markings/sec, 620 secs
lola: 118749019 markings, 228236691 edges, 168714 markings/sec, 625 secs
lola: 119588090 markings, 229925069 edges, 167814 markings/sec, 630 secs
lola: 120432001 markings, 231597127 edges, 168782 markings/sec, 635 secs
lola: 121277863 markings, 233273011 edges, 169172 markings/sec, 640 secs
lola: 122111403 markings, 234944622 edges, 166708 markings/sec, 645 secs
lola: 122942484 markings, 236609225 edges, 166216 markings/sec, 650 secs
lola: 123777523 markings, 238290621 edges, 167008 markings/sec, 655 secs
lola: 124608801 markings, 239949119 edges, 166256 markings/sec, 660 secs
lola: 125457178 markings, 241631176 edges, 169675 markings/sec, 665 secs
lola: 126298234 markings, 243306187 edges, 168211 markings/sec, 670 secs
lola: 127132293 markings, 244990640 edges, 166812 markings/sec, 675 secs
lola: 127968274 markings, 246668613 edges, 167196 markings/sec, 680 secs
lola: 128797099 markings, 248337219 edges, 165765 markings/sec, 685 secs
lola: 129625687 markings, 250009155 edges, 165718 markings/sec, 690 secs
lola: 130474229 markings, 251688663 edges, 169708 markings/sec, 695 secs
lola: 131311463 markings, 253360069 edges, 167447 markings/sec, 700 secs
lola: 132153116 markings, 255042601 edges, 168331 markings/sec, 705 secs
lola: 132992670 markings, 256719032 edges, 167911 markings/sec, 710 secs
lola: 133820183 markings, 258392092 edges, 165503 markings/sec, 715 secs
lola: 134647332 markings, 260049762 edges, 165430 markings/sec, 720 secs
lola: 135467148 markings, 261710129 edges, 163963 markings/sec, 725 secs
lola: 136303727 markings, 263384616 edges, 167316 markings/sec, 730 secs
lola: 137131534 markings, 265052123 edges, 165561 markings/sec, 735 secs
lola: 137967101 markings, 266725429 edges, 167113 markings/sec, 740 secs
lola: 138797199 markings, 268385193 edges, 166020 markings/sec, 745 secs
lola: 139628629 markings, 270047461 edges, 166286 markings/sec, 750 secs
lola: 140454439 markings, 271704536 edges, 165162 markings/sec, 755 secs
lola: 141277912 markings, 273361416 edges, 164695 markings/sec, 760 secs
lola: 142104925 markings, 275034069 edges, 165403 markings/sec, 765 secs
lola: 142941700 markings, 276713340 edges, 167355 markings/sec, 770 secs
lola: 143763335 markings, 278365067 edges, 164327 markings/sec, 775 secs
lola: 144586162 markings, 280025302 edges, 164565 markings/sec, 780 secs
lola: 145406676 markings, 281677188 edges, 164103 markings/sec, 785 secs
lola: 146235704 markings, 283335652 edges, 165806 markings/sec, 790 secs
lola: 146939514 markings, 284738390 edges, 140762 markings/sec, 795 secs
lola: 147732837 markings, 286336331 edges, 158665 markings/sec, 800 secs
lola: 148540209 markings, 287970794 edges, 161474 markings/sec, 805 secs
lola: 149336794 markings, 289598186 edges, 159317 markings/sec, 810 secs
lola: 150146876 markings, 291242552 edges, 162016 markings/sec, 815 secs
lola: 150965354 markings, 292891497 edges, 163696 markings/sec, 820 secs
lola: 151776233 markings, 294522264 edges, 162176 markings/sec, 825 secs
lola: 152586857 markings, 296168008 edges, 162125 markings/sec, 830 secs
lola: 153406708 markings, 297817477 edges, 163970 markings/sec, 835 secs
lola: 154217899 markings, 299447806 edges, 162238 markings/sec, 840 secs
lola: 155035616 markings, 301091591 edges, 163543 markings/sec, 845 secs
lola: 155855778 markings, 302738315 edges, 164032 markings/sec, 850 secs
lola: 156657123 markings, 304374885 edges, 160269 markings/sec, 855 secs
lola: 157462358 markings, 306003265 edges, 161047 markings/sec, 860 secs
lola: 158275681 markings, 307641432 edges, 162665 markings/sec, 865 secs
lola: 159091476 markings, 309273736 edges, 163159 markings/sec, 870 secs
lola: 159898028 markings, 310913599 edges, 161310 markings/sec, 875 secs
lola: 160698615 markings, 312539024 edges, 160117 markings/sec, 880 secs
lola: 161505108 markings, 314171970 edges, 161299 markings/sec, 885 secs
lola: 162305358 markings, 315796757 edges, 160050 markings/sec, 890 secs
lola: 163120723 markings, 317433415 edges, 163073 markings/sec, 895 secs
lola: 163896653 markings, 319008420 edges, 155186 markings/sec, 900 secs
lola: 163945608 markings, 319105472 edges, 9791 markings/sec, 905 secs
lola: 163963565 markings, 319142362 edges, 3591 markings/sec, 910 secs
lola: 163983189 markings, 319184224 edges, 3925 markings/sec, 915 secs
lola: 164006048 markings, 319231397 edges, 4572 markings/sec, 920 secs
lola: 164019934 markings, 319257760 edges, 2777 markings/sec, 925 secs
lola: 164042754 markings, 319302734 edges, 4564 markings/sec, 930 secs
lola: 164051027 markings, 319319372 edges, 1655 markings/sec, 935 secs
lola: 164075012 markings, 319367534 edges, 4797 markings/sec, 940 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA Angiogenesis-PT-10-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: RESULT
lola:
SUMMARY: 10 10 10 10 unknown 10 10 10 5 10 10 10 unknown 5 10 10
lola:
preliminary result: 10 10 10 10 unknown 10 10 10 5 10 10 10 unknown 5 10 10
lola: memory consumption: 15280 KB
lola: time consumption: 3541 seconds

BK_STOP 1526624697718

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