Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r022-csrt-155225094400016.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is Angiogenesis-PT-25, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r022-csrt-155225094400016
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 3.7K Feb 9 06:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 9 06:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 5 03:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 5 03:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 105 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 343 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 4 22:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.9K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 2 00:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 2 00:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 29 11:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 29 11:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 33K Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-00
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-01
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-02
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-03
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-04
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-05
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-06
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-07
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-08
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-09
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-10
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-11
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-12
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-13
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-14
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552400009943

info: Time: 3600 - MCC
===========================================================================================
prep: translating Angiogenesis-PT-25 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Angiogenesis-PT-25 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Angiogenesis-PT-25 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 103/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1248
lola: finding significant places
lola: 39 places, 64 transitions, 31 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 54 transition conflict sets
lola: TASK
lola: reading formula from Angiogenesis-PT-25-UpperBounds.task
lola: MAX(KdStar) : MAX(KdStarGStarPgStarP3) : MAX(PtP2) : MAX(KdStar) : MAX(Pten) : MAX(PtP3) : MAX(KdStarPgStar) : MAX(KdStarGStarPgStarP3) : MAX(KdStarGStarP3kStarP3) : MAX(KdStarGStarP3kStarP2) : MAX(KdStarGStarP3kStarP2) : MAX(P3k) : MAX(KdStarGStar) : MAX(AktStar) : MAX(Pip3) : MAX(KdStarGStarP3kP3)
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(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-25-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Angiogenesis-PT-25-UpperBounds-0 25 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(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-25-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 12762 markings, 21082 edges
lola: ========================================

FORMULA Angiogenesis-PT-25-UpperBounds-1 25 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(PtP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PtP2)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-25-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 26 markings, 25 edges
lola: ========================================

FORMULA Angiogenesis-PT-25-UpperBounds-2 25 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(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-25-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Angiogenesis-PT-25-UpperBounds-3 25 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(Pten)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Pten)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-25-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Angiogenesis-PT-25-UpperBounds-4 25 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(PtP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PtP3)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-25-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: 2067709 markings, 3813475 edges, 413542 markings/sec, 0 secs
lola: 3871489 markings, 7140542 edges, 360756 markings/sec, 5 secs
lola: 5788042 markings, 10691553 edges, 383311 markings/sec, 10 secs
lola: 7610144 markings, 14086905 edges, 364420 markings/sec, 15 secs
lola: 9387550 markings, 17396304 edges, 355481 markings/sec, 20 secs
lola: 11096589 markings, 20573479 edges, 341808 markings/sec, 25 secs
lola: 12773035 markings, 23698492 edges, 335289 markings/sec, 30 secs
lola: 14570660 markings, 27040299 edges, 359525 markings/sec, 35 secs
lola: 16310757 markings, 30292788 edges, 348019 markings/sec, 40 secs
lola: 17998099 markings, 33450723 edges, 337468 markings/sec, 45 secs
lola: 19612871 markings, 36477525 edges, 322954 markings/sec, 50 secs
lola: 21235127 markings, 39514223 edges, 324451 markings/sec, 55 secs
lola: 22869827 markings, 42558974 edges, 326940 markings/sec, 60 secs
lola: 24503946 markings, 45607755 edges, 326824 markings/sec, 65 secs
lola: 26189998 markings, 48758053 edges, 337210 markings/sec, 70 secs
lola: 27860285 markings, 51902328 edges, 334057 markings/sec, 75 secs
lola: 29584667 markings, 55139640 edges, 344876 markings/sec, 80 secs
lola: 31346862 markings, 58440665 edges, 352439 markings/sec, 85 secs
lola: 33043012 markings, 61642267 edges, 339230 markings/sec, 90 secs
lola: 34737124 markings, 64843099 edges, 338822 markings/sec, 95 secs
lola: 36426336 markings, 68040411 edges, 337842 markings/sec, 100 secs
lola: 38124322 markings, 71256026 edges, 339597 markings/sec, 105 secs
lola: 39795149 markings, 74436833 edges, 334165 markings/sec, 110 secs
lola: 41453969 markings, 77597330 edges, 331764 markings/sec, 115 secs
lola: 43098694 markings, 80748478 edges, 328945 markings/sec, 120 secs
lola: 44753432 markings, 83896878 edges, 330948 markings/sec, 125 secs
lola: 46394503 markings, 87042904 edges, 328214 markings/sec, 130 secs
lola: 48015505 markings, 90169079 edges, 324200 markings/sec, 135 secs
lola: 49644601 markings, 93288444 edges, 325819 markings/sec, 140 secs
lola: 51242498 markings, 96393331 edges, 319579 markings/sec, 145 secs
lola: 52851124 markings, 99497157 edges, 321725 markings/sec, 150 secs
lola: 54438193 markings, 102570999 edges, 317414 markings/sec, 155 secs
lola: 56012406 markings, 105633874 edges, 314843 markings/sec, 160 secs
lola: 57582029 markings, 108701562 edges, 313925 markings/sec, 165 secs
lola: 59159452 markings, 111778681 edges, 315485 markings/sec, 170 secs
lola: 60704947 markings, 114812037 edges, 309099 markings/sec, 175 secs
lola: 62256882 markings, 117853572 edges, 310387 markings/sec, 180 secs
lola: 63822351 markings, 120909558 edges, 313094 markings/sec, 185 secs
lola: 65369164 markings, 123940243 edges, 309363 markings/sec, 190 secs
lola: 66915396 markings, 126961791 edges, 309246 markings/sec, 195 secs
lola: 68453252 markings, 129990504 edges, 307571 markings/sec, 200 secs
lola: 69973269 markings, 132971532 edges, 304003 markings/sec, 205 secs
lola: 71484665 markings, 135947040 edges, 302279 markings/sec, 210 secs
lola: 73024028 markings, 138986011 edges, 307873 markings/sec, 215 secs
lola: 74542322 markings, 141956012 edges, 303659 markings/sec, 220 secs
lola: 76051485 markings, 144930251 edges, 301833 markings/sec, 225 secs
lola: 77540363 markings, 147887486 edges, 297776 markings/sec, 230 secs
lola: 79044628 markings, 150838444 edges, 300853 markings/sec, 235 secs
lola: 80485863 markings, 153685648 edges, 288247 markings/sec, 240 secs
lola: 81869151 markings, 156416330 edges, 276658 markings/sec, 245 secs
lola: 83248674 markings, 159142033 edges, 275905 markings/sec, 250 secs
lola: 84664028 markings, 161954689 edges, 283071 markings/sec, 255 secs
lola: 86072681 markings, 164739500 edges, 281731 markings/sec, 260 secs
lola: 87462227 markings, 167491446 edges, 277909 markings/sec, 265 secs
lola: 88830503 markings, 170201110 edges, 273655 markings/sec, 270 secs
lola: 90218656 markings, 172984098 edges, 277631 markings/sec, 275 secs
lola: 91689015 markings, 175912347 edges, 294072 markings/sec, 280 secs
lola: 93150918 markings, 178829707 edges, 292381 markings/sec, 285 secs
lola: 94656312 markings, 181834229 edges, 301079 markings/sec, 290 secs
lola: 96156765 markings, 184823679 edges, 300091 markings/sec, 295 secs
lola: 97650317 markings, 187816651 edges, 298710 markings/sec, 300 secs
lola: 99153897 markings, 190809077 edges, 300716 markings/sec, 305 secs
lola: 100653529 markings, 193805421 edges, 299926 markings/sec, 310 secs
lola: 102168696 markings, 196803625 edges, 303033 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: 25 25 25 25 25 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarPgStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarPgStar)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-25-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 51 markings, 50 edges
lola: ========================================

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

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

FORMULA Angiogenesis-PT-25-UpperBounds-8 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 463 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3kStarP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarP3kStarP2)
lola: processed formula length: 25
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-25-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: 2128820 markings, 3793141 edges, 425764 markings/sec, 0 secs
lola: 4082680 markings, 7387083 edges, 390772 markings/sec, 5 secs
lola: 5930444 markings, 10836051 edges, 369553 markings/sec, 10 secs
lola: 7683877 markings, 14129481 edges, 350687 markings/sec, 15 secs
lola: 9387355 markings, 17356255 edges, 340696 markings/sec, 20 secs
lola: 11055418 markings, 20525955 edges, 333613 markings/sec, 25 secs
lola: 12709680 markings, 23684553 edges, 330852 markings/sec, 30 secs
lola: 14238229 markings, 26591310 edges, 305710 markings/sec, 35 secs
lola: 15810402 markings, 29588129 edges, 314435 markings/sec, 40 secs
lola: 17314869 markings, 32489370 edges, 300893 markings/sec, 45 secs
lola: 18845471 markings, 35421952 edges, 306120 markings/sec, 50 secs
lola: 20373452 markings, 38368721 edges, 305596 markings/sec, 55 secs
lola: 21758985 markings, 41063528 edges, 277107 markings/sec, 60 secs
lola: 23097553 markings, 43646363 edges, 267714 markings/sec, 65 secs
lola: 24425466 markings, 46230341 edges, 265583 markings/sec, 70 secs
lola: 25791042 markings, 48868650 edges, 273115 markings/sec, 75 secs
lola: 27129607 markings, 51468882 edges, 267713 markings/sec, 80 secs
lola: 28592845 markings, 54309038 edges, 292648 markings/sec, 85 secs
lola: 30042937 markings, 57127438 edges, 290018 markings/sec, 90 secs
lola: 31427663 markings, 59817459 edges, 276945 markings/sec, 95 secs
lola: 32813138 markings, 62531578 edges, 277095 markings/sec, 100 secs
lola: 34210349 markings, 65263222 edges, 279442 markings/sec, 105 secs
lola: 35636734 markings, 68031527 edges, 285277 markings/sec, 110 secs
lola: 37039510 markings, 70799645 edges, 280555 markings/sec, 115 secs
lola: 38457738 markings, 73574992 edges, 283646 markings/sec, 120 secs
lola: 39866694 markings, 76336975 edges, 281791 markings/sec, 125 secs
lola: 41249591 markings, 79043696 edges, 276579 markings/sec, 130 secs
lola: 42638724 markings, 81780990 edges, 277827 markings/sec, 135 secs
lola: 44015437 markings, 84504596 edges, 275343 markings/sec, 140 secs
lola: 45415326 markings, 87245006 edges, 279978 markings/sec, 145 secs
lola: 46801442 markings, 89960772 edges, 277223 markings/sec, 150 secs
lola: 48197966 markings, 92690151 edges, 279305 markings/sec, 155 secs
lola: 49579683 markings, 95389073 edges, 276343 markings/sec, 160 secs
lola: 50909052 markings, 98028449 edges, 265874 markings/sec, 165 secs
lola: 52290726 markings, 100743327 edges, 276335 markings/sec, 170 secs
lola: 53662672 markings, 103453127 edges, 274389 markings/sec, 175 secs
lola: 55027945 markings, 106168613 edges, 273055 markings/sec, 180 secs
lola: 56370752 markings, 108826047 edges, 268561 markings/sec, 185 secs
lola: 57696180 markings, 111461937 edges, 265086 markings/sec, 190 secs
lola: 59023175 markings, 114092726 edges, 265399 markings/sec, 195 secs
lola: 60341983 markings, 116713251 edges, 263762 markings/sec, 200 secs
lola: 61648864 markings, 119322532 edges, 261376 markings/sec, 205 secs
lola: 62970725 markings, 121957713 edges, 264372 markings/sec, 210 secs
lola: 64307313 markings, 124596334 edges, 267318 markings/sec, 215 secs
lola: 65629699 markings, 127219002 edges, 264477 markings/sec, 220 secs
lola: 66937242 markings, 129837071 edges, 261509 markings/sec, 225 secs
lola: 68245554 markings, 132444198 edges, 261662 markings/sec, 230 secs
lola: 69575026 markings, 135079953 edges, 265894 markings/sec, 235 secs
lola: 70881764 markings, 137678635 edges, 261348 markings/sec, 240 secs
lola: 72159633 markings, 140216068 edges, 255574 markings/sec, 245 secs
lola: 73462054 markings, 142816691 edges, 260484 markings/sec, 250 secs
lola: 74735142 markings, 145375243 edges, 254618 markings/sec, 255 secs
lola: 76021412 markings, 147955538 edges, 257254 markings/sec, 260 secs
lola: 77300103 markings, 150540628 edges, 255738 markings/sec, 265 secs
lola: 78638047 markings, 153171067 edges, 267589 markings/sec, 270 secs
lola: 79925335 markings, 155745218 edges, 257458 markings/sec, 275 secs
lola: 81248106 markings, 158365809 edges, 264554 markings/sec, 280 secs
lola: 82544347 markings, 160959100 edges, 259248 markings/sec, 285 secs
lola: 83827849 markings, 163539764 edges, 256700 markings/sec, 290 secs
lola: 85115675 markings, 166116813 edges, 257565 markings/sec, 295 secs
lola: 86386095 markings, 168679632 edges, 254084 markings/sec, 300 secs
lola: 87667352 markings, 171246433 edges, 256251 markings/sec, 305 secs
lola: 88927031 markings, 173789479 edges, 251936 markings/sec, 310 secs
lola: 90197365 markings, 176334377 edges, 254067 markings/sec, 315 secs
lola: 91453417 markings, 178867803 edges, 251210 markings/sec, 320 secs
lola: 92721000 markings, 181417315 edges, 253517 markings/sec, 325 secs
lola: 93993486 markings, 183979828 edges, 254497 markings/sec, 330 secs
lola: 95280343 markings, 186528090 edges, 257371 markings/sec, 335 secs
lola: 96542231 markings, 189055396 edges, 252378 markings/sec, 340 secs
lola: 97670066 markings, 191301541 edges, 225567 markings/sec, 345 secs
lola: 98884850 markings, 193744880 edges, 242957 markings/sec, 350 secs
lola: 100126451 markings, 196261252 edges, 248320 markings/sec, 355 secs
lola: 101388980 markings, 198795790 edges, 252506 markings/sec, 360 secs
lola: 102622810 markings, 201308889 edges, 246766 markings/sec, 365 secs
lola: 103858909 markings, 203807757 edges, 247220 markings/sec, 370 secs
lola: 105131670 markings, 206343482 edges, 254552 markings/sec, 375 secs
lola: 106388296 markings, 208875835 edges, 251325 markings/sec, 380 secs
lola: 107633684 markings, 211391216 edges, 249078 markings/sec, 385 secs
lola: 108883631 markings, 213896617 edges, 249989 markings/sec, 390 secs
lola: 110119725 markings, 216383391 edges, 247219 markings/sec, 395 secs
lola: 111358028 markings, 218882499 edges, 247661 markings/sec, 400 secs
lola: 112580809 markings, 221369599 edges, 244556 markings/sec, 405 secs
lola: 113838527 markings, 223883878 edges, 251544 markings/sec, 410 secs
lola: 115066321 markings, 226365495 edges, 245559 markings/sec, 415 secs
lola: 116324608 markings, 228877311 edges, 251657 markings/sec, 420 secs
lola: 117553915 markings, 231361977 edges, 245861 markings/sec, 425 secs
lola: 118781640 markings, 233840749 edges, 245545 markings/sec, 430 secs
lola: 120016781 markings, 236310041 edges, 247028 markings/sec, 435 secs
lola: 121248124 markings, 238783806 edges, 246269 markings/sec, 440 secs
lola: 122466558 markings, 241249322 edges, 243687 markings/sec, 445 secs
lola: 123693892 markings, 243717750 edges, 245467 markings/sec, 450 secs
lola: 124880808 markings, 246107787 edges, 237383 markings/sec, 455 secs
lola: local time limit reached - aborting
lola:
preliminary result: 25 25 25 25 25 unknown 25 25 25 unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 463 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3kStarP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarP3kStarP2)
lola: processed formula length: 25
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-25-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: 2054978 markings, 3661473 edges, 410996 markings/sec, 0 secs
lola: 3932781 markings, 7104328 edges, 375561 markings/sec, 5 secs
lola: 5708358 markings, 10422546 edges, 355115 markings/sec, 10 secs
lola: 7439980 markings, 13671207 edges, 346324 markings/sec, 15 secs
lola: 9085330 markings, 16794837 edges, 329070 markings/sec, 20 secs
lola: 10705398 markings, 19867260 edges, 324014 markings/sec, 25 secs
lola: 12313003 markings, 22929243 edges, 321521 markings/sec, 30 secs
lola: 13815681 markings, 25793205 edges, 300536 markings/sec, 35 secs
lola: 15279349 markings, 28590250 edges, 292734 markings/sec, 40 secs
lola: 16729021 markings, 31355917 edges, 289934 markings/sec, 45 secs
lola: 18148974 markings, 34084707 edges, 283991 markings/sec, 50 secs
lola: 19550283 markings, 36779780 edges, 280262 markings/sec, 55 secs
lola: 20935246 markings, 39460780 edges, 276993 markings/sec, 60 secs
lola: 22318146 markings, 42132855 edges, 276580 markings/sec, 65 secs
lola: 23777392 markings, 44968922 edges, 291849 markings/sec, 70 secs
lola: 25236909 markings, 47808364 edges, 291903 markings/sec, 75 secs
lola: 26711923 markings, 50656583 edges, 295003 markings/sec, 80 secs
lola: 28153651 markings, 53451949 edges, 288346 markings/sec, 85 secs
lola: 29610338 markings, 56289276 edges, 291337 markings/sec, 90 secs
lola: 31072962 markings, 59136663 edges, 292525 markings/sec, 95 secs
lola: 32531877 markings, 61981024 edges, 291783 markings/sec, 100 secs
lola: 33828679 markings, 64522750 edges, 259360 markings/sec, 105 secs
lola: 35122148 markings, 67033202 edges, 258694 markings/sec, 110 secs
lola: 36434712 markings, 69616424 edges, 262513 markings/sec, 115 secs
lola: 37857364 markings, 72405721 edges, 284530 markings/sec, 120 secs
lola: 39286718 markings, 75180372 edges, 285871 markings/sec, 125 secs
lola: 40669141 markings, 77900761 edges, 276485 markings/sec, 130 secs
lola: 42060826 markings, 80648182 edges, 278337 markings/sec, 135 secs
lola: 43465704 markings, 83420340 edges, 280976 markings/sec, 140 secs
lola: 44742934 markings, 85916025 edges, 255446 markings/sec, 145 secs
lola: 45992295 markings, 88375013 edges, 249872 markings/sec, 150 secs
lola: 47249972 markings, 90834285 edges, 251535 markings/sec, 155 secs
lola: 48576690 markings, 93443610 edges, 265344 markings/sec, 160 secs
lola: 49956466 markings, 96134667 edges, 275955 markings/sec, 165 secs
lola: 51311251 markings, 98818124 edges, 270957 markings/sec, 170 secs
lola: 52667102 markings, 101475547 edges, 271170 markings/sec, 175 secs
lola: 54029925 markings, 104165855 edges, 272565 markings/sec, 180 secs
lola: 55356174 markings, 106824616 edges, 265250 markings/sec, 185 secs
lola: 56718378 markings, 109507948 edges, 272441 markings/sec, 190 secs
lola: 58051411 markings, 112160311 edges, 266607 markings/sec, 195 secs
lola: 59382390 markings, 114804117 edges, 266196 markings/sec, 200 secs
lola: 60649524 markings, 117338877 edges, 253427 markings/sec, 205 secs
lola: 61932189 markings, 119894515 edges, 256533 markings/sec, 210 secs
lola: 63245446 markings, 122501968 edges, 262651 markings/sec, 215 secs
lola: 64584659 markings, 125149286 edges, 267843 markings/sec, 220 secs
lola: 65872712 markings, 127705803 edges, 257611 markings/sec, 225 secs
lola: 67183601 markings, 130327043 edges, 262178 markings/sec, 230 secs
lola: 68496778 markings, 132943662 edges, 262635 markings/sec, 235 secs
lola: 69845194 markings, 135627969 edges, 269683 markings/sec, 240 secs
lola: 71162034 markings, 138230721 edges, 263368 markings/sec, 245 secs
lola: 72480081 markings, 140855154 edges, 263609 markings/sec, 250 secs
lola: 73788718 markings, 143473261 edges, 261727 markings/sec, 255 secs
lola: 75068595 markings, 146049377 edges, 255975 markings/sec, 260 secs
lola: 76358584 markings, 148638144 edges, 257998 markings/sec, 265 secs
lola: 77643572 markings, 151212806 edges, 256998 markings/sec, 270 secs
lola: 78933652 markings, 153764358 edges, 258016 markings/sec, 275 secs
lola: 80193649 markings, 156289142 edges, 251999 markings/sec, 280 secs
lola: 81461547 markings, 158797651 edges, 253580 markings/sec, 285 secs
lola: 82736328 markings, 161340216 edges, 254956 markings/sec, 290 secs
lola: 83969994 markings, 163831002 edges, 246733 markings/sec, 295 secs
lola: 85249475 markings, 166387527 edges, 255896 markings/sec, 300 secs
lola: 86506821 markings, 168932117 edges, 251469 markings/sec, 305 secs
lola: 87806921 markings, 171527302 edges, 260020 markings/sec, 310 secs
lola: 89071702 markings, 174078590 edges, 252956 markings/sec, 315 secs
lola: 90327054 markings, 176599947 edges, 251070 markings/sec, 320 secs
lola: 91565421 markings, 179084683 edges, 247673 markings/sec, 325 secs
lola: 92811573 markings, 181603262 edges, 249230 markings/sec, 330 secs
lola: 94075142 markings, 184141486 edges, 252714 markings/sec, 335 secs
lola: 95333772 markings, 186637588 edges, 251726 markings/sec, 340 secs
lola: 96550674 markings, 189072767 edges, 243380 markings/sec, 345 secs
lola: 97797965 markings, 191560471 edges, 249458 markings/sec, 350 secs
lola: 99022576 markings, 194030741 edges, 244922 markings/sec, 355 secs
lola: 100261315 markings, 196529648 edges, 247748 markings/sec, 360 secs
lola: 101508912 markings, 199044956 edges, 249519 markings/sec, 365 secs
lola: 102739341 markings, 201547405 edges, 246086 markings/sec, 370 secs
lola: 103973007 markings, 204047665 edges, 246733 markings/sec, 375 secs
lola: 105268365 markings, 206608257 edges, 259072 markings/sec, 380 secs
lola: 106494314 markings, 209089100 edges, 245190 markings/sec, 385 secs
lola: 107727483 markings, 211586745 edges, 246634 markings/sec, 390 secs
lola: 108976864 markings, 214084692 edges, 249876 markings/sec, 395 secs
lola: 110203725 markings, 216559923 edges, 245372 markings/sec, 400 secs
lola: 111433990 markings, 219033772 edges, 246053 markings/sec, 405 secs
lola: 112643169 markings, 221494967 edges, 241836 markings/sec, 410 secs
lola: 113893390 markings, 223990088 edges, 250044 markings/sec, 415 secs
lola: 115109159 markings, 226456375 edges, 243154 markings/sec, 420 secs
lola: 116361164 markings, 228953067 edges, 250401 markings/sec, 425 secs
lola: 117590493 markings, 231432398 edges, 245866 markings/sec, 430 secs
lola: 118811959 markings, 233903094 edges, 244293 markings/sec, 435 secs
lola: 120052242 markings, 236380806 edges, 248057 markings/sec, 440 secs
lola: 121288826 markings, 238870542 edges, 247317 markings/sec, 445 secs
lola: 122508595 markings, 241335345 edges, 243954 markings/sec, 450 secs
lola: 123727136 markings, 243782915 edges, 243708 markings/sec, 455 secs
lola: local time limit reached - aborting
lola:
preliminary result: 25 25 25 25 25 unknown 25 25 25 unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 463 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-25-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 0 markings, 0 edges
lola: ========================================

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

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

FORMULA Angiogenesis-PT-25-UpperBounds-13 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1158 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Pip3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Pip3)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-25-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: 2141948 markings, 3979521 edges, 428390 markings/sec, 0 secs
lola: 4084073 markings, 7703264 edges, 388425 markings/sec, 5 secs
lola: 5943541 markings, 11337858 edges, 371894 markings/sec, 10 secs
lola: 7771839 markings, 14919256 edges, 365660 markings/sec, 15 secs
lola: 9534932 markings, 18407052 edges, 352619 markings/sec, 20 secs
lola: 11324479 markings, 21939425 edges, 357909 markings/sec, 25 secs
lola: 13092845 markings, 25454017 edges, 353673 markings/sec, 30 secs
lola: 14837753 markings, 28928369 edges, 348982 markings/sec, 35 secs
lola: 16579657 markings, 32400894 edges, 348381 markings/sec, 40 secs
lola: 18262493 markings, 35808757 edges, 336567 markings/sec, 45 secs
lola: 19969872 markings, 39241004 edges, 341476 markings/sec, 50 secs
lola: 21655022 markings, 42642368 edges, 337030 markings/sec, 55 secs
lola: 23295282 markings, 45996135 edges, 328052 markings/sec, 60 secs
lola: 24972163 markings, 49405194 edges, 335376 markings/sec, 65 secs
lola: 26606526 markings, 52727157 edges, 326873 markings/sec, 70 secs
lola: 28185079 markings, 55951837 edges, 315711 markings/sec, 75 secs
lola: 29827777 markings, 59294349 edges, 328540 markings/sec, 80 secs
lola: 31473665 markings, 62641888 edges, 329178 markings/sec, 85 secs
lola: 33036206 markings, 65906053 edges, 312508 markings/sec, 90 secs
lola: 34646771 markings, 69238631 edges, 322113 markings/sec, 95 secs
lola: 36194923 markings, 72479668 edges, 309630 markings/sec, 100 secs
lola: 37778965 markings, 75760458 edges, 316808 markings/sec, 105 secs
lola: 39352548 markings, 79039106 edges, 314717 markings/sec, 110 secs
lola: 40959765 markings, 82364889 edges, 321443 markings/sec, 115 secs
lola: 42533457 markings, 85630170 edges, 314738 markings/sec, 120 secs
lola: 44077013 markings, 88872009 edges, 308711 markings/sec, 125 secs
lola: 45606275 markings, 92084919 edges, 305852 markings/sec, 130 secs
lola: 47146485 markings, 95314182 edges, 308042 markings/sec, 135 secs
lola: 48690862 markings, 98546324 edges, 308875 markings/sec, 140 secs
lola: 50252113 markings, 101836296 edges, 312250 markings/sec, 145 secs
lola: 51818981 markings, 105128398 edges, 313374 markings/sec, 150 secs
lola: 53335324 markings, 108329815 edges, 303269 markings/sec, 155 secs
lola: 54866214 markings, 111552734 edges, 306178 markings/sec, 160 secs
lola: 56374526 markings, 114740573 edges, 301662 markings/sec, 165 secs
lola: 57864139 markings, 117889225 edges, 297923 markings/sec, 170 secs
lola: 59331653 markings, 121004800 edges, 293503 markings/sec, 175 secs
lola: 60747409 markings, 124003053 edges, 283151 markings/sec, 180 secs
lola: 62183499 markings, 127068857 edges, 287218 markings/sec, 185 secs
lola: 63620664 markings, 130137400 edges, 287433 markings/sec, 190 secs
lola: 65015382 markings, 133135243 edges, 278944 markings/sec, 195 secs
lola: 66490650 markings, 136270412 edges, 295054 markings/sec, 200 secs
lola: 67988233 markings, 139446050 edges, 299517 markings/sec, 205 secs
lola: 69461037 markings, 142589018 edges, 294561 markings/sec, 210 secs
lola: 70896612 markings, 145652321 edges, 287115 markings/sec, 215 secs
lola: 72322707 markings, 148685255 edges, 285219 markings/sec, 220 secs
lola: 73740016 markings, 151695910 edges, 283462 markings/sec, 225 secs
lola: 75171180 markings, 154765238 edges, 286233 markings/sec, 230 secs
lola: 76606284 markings, 157842407 edges, 287021 markings/sec, 235 secs
lola: 78077390 markings, 160957427 edges, 294221 markings/sec, 240 secs
lola: 79561681 markings, 164101324 edges, 296858 markings/sec, 245 secs
lola: 81030579 markings, 167223720 edges, 293780 markings/sec, 250 secs
lola: 82485410 markings, 170351928 edges, 290966 markings/sec, 255 secs
lola: 83924737 markings, 173458227 edges, 287865 markings/sec, 260 secs
lola: 85363821 markings, 176553243 edges, 287817 markings/sec, 265 secs
lola: 86778460 markings, 179601340 edges, 282928 markings/sec, 270 secs
lola: 88211786 markings, 182676300 edges, 286665 markings/sec, 275 secs
lola: 89638882 markings, 185745967 edges, 285419 markings/sec, 280 secs
lola: 91069180 markings, 188828487 edges, 286060 markings/sec, 285 secs
lola: 92494202 markings, 191915817 edges, 285004 markings/sec, 290 secs
lola: 93889326 markings, 194897641 edges, 279025 markings/sec, 295 secs
lola: 95314456 markings, 197973534 edges, 285026 markings/sec, 300 secs
lola: 96747944 markings, 201036089 edges, 286698 markings/sec, 305 secs
lola: 98155069 markings, 204070857 edges, 281425 markings/sec, 310 secs
lola: 99575298 markings, 207138183 edges, 284046 markings/sec, 315 secs
lola: 100978503 markings, 210186078 edges, 280641 markings/sec, 320 secs
lola: 102411171 markings, 213270895 edges, 286534 markings/sec, 325 secs
lola: 103808206 markings, 216327519 edges, 279407 markings/sec, 330 secs
lola: 105220323 markings, 219391231 edges, 282423 markings/sec, 335 secs
lola: 106639357 markings, 222471693 edges, 283807 markings/sec, 340 secs
lola: 108035697 markings, 225499753 edges, 279268 markings/sec, 345 secs
lola: 109441778 markings, 228553938 edges, 281216 markings/sec, 350 secs
lola: 110864753 markings, 231604403 edges, 284595 markings/sec, 355 secs
lola: 112235931 markings, 234558656 edges, 274236 markings/sec, 360 secs
lola: 113611446 markings, 237539221 edges, 275103 markings/sec, 365 secs
lola: 114987454 markings, 240529465 edges, 275202 markings/sec, 370 secs
lola: 116397429 markings, 243571634 edges, 281995 markings/sec, 375 secs
lola: 117749562 markings, 246472758 edges, 270427 markings/sec, 380 secs
lola: 119093982 markings, 249370767 edges, 268884 markings/sec, 385 secs
lola: 120414883 markings, 252261404 edges, 264180 markings/sec, 390 secs
lola: 121784269 markings, 255255143 edges, 273877 markings/sec, 395 secs
lola: 123174729 markings, 258284011 edges, 278092 markings/sec, 400 secs
lola: 124579712 markings, 261328080 edges, 280997 markings/sec, 405 secs
lola: 125955198 markings, 264338992 edges, 275097 markings/sec, 410 secs
lola: 127356179 markings, 267390927 edges, 280196 markings/sec, 415 secs
lola: 128776523 markings, 270463328 edges, 284069 markings/sec, 420 secs
lola: 130188575 markings, 273514431 edges, 282410 markings/sec, 425 secs
lola: 131559398 markings, 276503714 edges, 274165 markings/sec, 430 secs
lola: 132957121 markings, 279521806 edges, 279545 markings/sec, 435 secs
lola: 134352647 markings, 282533294 edges, 279105 markings/sec, 440 secs
lola: 135707501 markings, 285510381 edges, 270971 markings/sec, 445 secs
lola: 137075097 markings, 288513278 edges, 273519 markings/sec, 450 secs
lola: 138471157 markings, 291542308 edges, 279212 markings/sec, 455 secs
lola: 139813005 markings, 294511772 edges, 268370 markings/sec, 460 secs
lola: 141157503 markings, 297466497 edges, 268900 markings/sec, 465 secs
lola: 142524717 markings, 300443869 edges, 273443 markings/sec, 470 secs
lola: 143885467 markings, 303432603 edges, 272150 markings/sec, 475 secs
lola: 145239928 markings, 306418191 edges, 270892 markings/sec, 480 secs
lola: 146578070 markings, 309358248 edges, 267628 markings/sec, 485 secs
lola: 147913018 markings, 312287649 edges, 266990 markings/sec, 490 secs
lola: 148233947 markings, 312989450 edges, 64186 markings/sec, 495 secs
lola: 148239656 markings, 313001419 edges, 1142 markings/sec, 500 secs
lola: 148252818 markings, 313029008 edges, 2632 markings/sec, 505 secs
lola: 148280150 markings, 313089247 edges, 5466 markings/sec, 510 secs
lola: 148290121 markings, 313112381 edges, 1994 markings/sec, 515 secs
lola: 148294281 markings, 313121628 edges, 832 markings/sec, 520 secs
lola: 148339868 markings, 313220646 edges, 9117 markings/sec, 525 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1778 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3kP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarP3kP3)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-25-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: 1736625 markings, 3571409 edges, 347325 markings/sec, 0 secs
lola: 3408910 markings, 7019981 edges, 334457 markings/sec, 5 secs
lola: 4962692 markings, 10340616 edges, 310756 markings/sec, 10 secs
lola: 6476814 markings, 13612645 edges, 302824 markings/sec, 15 secs
lola: 7909691 markings, 16702101 edges, 286575 markings/sec, 20 secs
lola: 9391376 markings, 19856653 edges, 296337 markings/sec, 25 secs
lola: 10862710 markings, 23013263 edges, 294267 markings/sec, 30 secs
lola: 12264350 markings, 26103817 edges, 280328 markings/sec, 35 secs
lola: 13676199 markings, 29190885 edges, 282370 markings/sec, 40 secs
lola: 15118423 markings, 32303730 edges, 288445 markings/sec, 45 secs
lola: 16508175 markings, 35353315 edges, 277950 markings/sec, 50 secs
lola: 17900228 markings, 38412542 edges, 278411 markings/sec, 55 secs
lola: 19232135 markings, 41404360 edges, 266381 markings/sec, 60 secs
lola: 20580547 markings, 44400939 edges, 269682 markings/sec, 65 secs
lola: 21919776 markings, 47397821 edges, 267846 markings/sec, 70 secs
lola: 23257626 markings, 50359856 edges, 267570 markings/sec, 75 secs
lola: 24514590 markings, 53175898 edges, 251393 markings/sec, 80 secs
lola: 25858458 markings, 56111212 edges, 268774 markings/sec, 85 secs
lola: 27185208 markings, 59055959 edges, 265350 markings/sec, 90 secs
lola: 28498433 markings, 61977188 edges, 262645 markings/sec, 95 secs
lola: 29753614 markings, 64792666 edges, 251036 markings/sec, 100 secs
lola: 31045995 markings, 67705675 edges, 258476 markings/sec, 105 secs
lola: 32314046 markings, 70601177 edges, 253610 markings/sec, 110 secs
lola: 33570137 markings, 73461161 edges, 251218 markings/sec, 115 secs
lola: 34887747 markings, 76400235 edges, 263522 markings/sec, 120 secs
lola: 36219192 markings, 79343396 edges, 266289 markings/sec, 125 secs
lola: 37453077 markings, 82202863 edges, 246777 markings/sec, 130 secs
lola: 38721408 markings, 85065955 edges, 253666 markings/sec, 135 secs
lola: 39997674 markings, 87950141 edges, 255253 markings/sec, 140 secs
lola: 41285970 markings, 90868243 edges, 257659 markings/sec, 145 secs
lola: 42598386 markings, 93782841 edges, 262483 markings/sec, 150 secs
lola: 43884418 markings, 96659471 edges, 257206 markings/sec, 155 secs
lola: 45148273 markings, 99509788 edges, 252771 markings/sec, 160 secs
lola: 46414032 markings, 102356837 edges, 253152 markings/sec, 165 secs
lola: 47645086 markings, 105095781 edges, 246211 markings/sec, 170 secs
lola: 48900884 markings, 107927326 edges, 251160 markings/sec, 175 secs
lola: 50181435 markings, 110763459 edges, 256110 markings/sec, 180 secs
lola: 51430822 markings, 113589699 edges, 249877 markings/sec, 185 secs
lola: 52659772 markings, 116393650 edges, 245790 markings/sec, 190 secs
lola: 53835187 markings, 119153327 edges, 235083 markings/sec, 195 secs
lola: 55104507 markings, 121978374 edges, 253864 markings/sec, 200 secs
lola: 56360337 markings, 124802793 edges, 251166 markings/sec, 205 secs
lola: 57610740 markings, 127626410 edges, 250081 markings/sec, 210 secs
lola: 58880635 markings, 130449078 edges, 253979 markings/sec, 215 secs
lola: 60086212 markings, 133215026 edges, 241115 markings/sec, 220 secs
lola: 61294534 markings, 135999889 edges, 241664 markings/sec, 225 secs
lola: 62564566 markings, 138815678 edges, 254006 markings/sec, 230 secs
lola: 63855049 markings, 141649582 edges, 258097 markings/sec, 235 secs
lola: 65063320 markings, 144409727 edges, 241654 markings/sec, 240 secs
lola: 66280279 markings, 147157729 edges, 243392 markings/sec, 245 secs
lola: 67447572 markings, 149878470 edges, 233459 markings/sec, 250 secs
lola: 68648725 markings, 152630977 edges, 240231 markings/sec, 255 secs
lola: 69840073 markings, 155364097 edges, 238270 markings/sec, 260 secs
lola: 71033657 markings, 158103968 edges, 238717 markings/sec, 265 secs
lola: 72177249 markings, 160793997 edges, 228718 markings/sec, 270 secs
lola: 73327322 markings, 163503925 edges, 230015 markings/sec, 275 secs
lola: 74501462 markings, 166227859 edges, 234828 markings/sec, 280 secs
lola: 75689484 markings, 168962027 edges, 237604 markings/sec, 285 secs
lola: 76823289 markings, 171637747 edges, 226761 markings/sec, 290 secs
lola: 78011178 markings, 174377501 edges, 237578 markings/sec, 295 secs
lola: 79235745 markings, 177137243 edges, 244913 markings/sec, 300 secs
lola: 80432677 markings, 179857970 edges, 239386 markings/sec, 305 secs
lola: 81615288 markings, 182578617 edges, 236522 markings/sec, 310 secs
lola: 82732673 markings, 185247342 edges, 223477 markings/sec, 315 secs
lola: 83962655 markings, 188004548 edges, 245996 markings/sec, 320 secs
lola: 85154205 markings, 190733523 edges, 238310 markings/sec, 325 secs
lola: 86265892 markings, 193377174 edges, 222337 markings/sec, 330 secs
lola: 87450055 markings, 196107616 edges, 236833 markings/sec, 335 secs
lola: 88648359 markings, 198856085 edges, 239661 markings/sec, 340 secs
lola: 89824150 markings, 201546259 edges, 235158 markings/sec, 345 secs
lola: 91087648 markings, 204344881 edges, 252700 markings/sec, 350 secs
lola: 92247395 markings, 207046219 edges, 231949 markings/sec, 355 secs
lola: 93428977 markings, 209770004 edges, 236316 markings/sec, 360 secs
lola: 94571652 markings, 212439361 edges, 228535 markings/sec, 365 secs
lola: 95820261 markings, 215221002 edges, 249722 markings/sec, 370 secs
lola: 96978226 markings, 217899491 edges, 231593 markings/sec, 375 secs
lola: 98126513 markings, 220566271 edges, 229657 markings/sec, 380 secs
lola: 99311314 markings, 223254190 edges, 236960 markings/sec, 385 secs
lola: 100457725 markings, 225927325 edges, 229282 markings/sec, 390 secs
lola: 101588413 markings, 228580905 edges, 226138 markings/sec, 395 secs
lola: 102795425 markings, 231290249 edges, 241402 markings/sec, 400 secs
lola: 104020878 markings, 234022906 edges, 245091 markings/sec, 405 secs
lola: 105131222 markings, 236653886 edges, 222069 markings/sec, 410 secs
lola: 106265624 markings, 239308355 edges, 226880 markings/sec, 415 secs
lola: 107425785 markings, 241976020 edges, 232032 markings/sec, 420 secs
lola: 108597908 markings, 244676727 edges, 234425 markings/sec, 425 secs
lola: 109748281 markings, 247330598 edges, 230075 markings/sec, 430 secs
lola: 110911815 markings, 249991244 edges, 232707 markings/sec, 435 secs
lola: 112073777 markings, 252646156 edges, 232392 markings/sec, 440 secs
lola: 113200205 markings, 255276467 edges, 225286 markings/sec, 445 secs
lola: 114346173 markings, 257929559 edges, 229194 markings/sec, 450 secs
lola: 115479783 markings, 260571145 edges, 226722 markings/sec, 455 secs
lola: 116602580 markings, 263206457 edges, 224559 markings/sec, 460 secs
lola: 117773032 markings, 265865774 edges, 234090 markings/sec, 465 secs
lola: 118866656 markings, 268423445 edges, 218725 markings/sec, 470 secs
lola: 120008277 markings, 271049385 edges, 228324 markings/sec, 475 secs
lola: 121057753 markings, 273606631 edges, 209895 markings/sec, 480 secs
lola: 122250956 markings, 276280728 edges, 238641 markings/sec, 485 secs
lola: 123372979 markings, 278882745 edges, 224405 markings/sec, 490 secs
lola: 124433072 markings, 281444818 edges, 212019 markings/sec, 495 secs
lola: 125540750 markings, 284046502 edges, 221536 markings/sec, 500 secs
lola: 126699980 markings, 286678192 edges, 231846 markings/sec, 505 secs
lola: 127816053 markings, 289270754 edges, 223215 markings/sec, 510 secs
lola: 128937349 markings, 291858847 edges, 224259 markings/sec, 515 secs
lola: 130126108 markings, 294524636 edges, 237752 markings/sec, 520 secs
lola: 131228706 markings, 297072595 edges, 220520 markings/sec, 525 secs
lola: 132282438 markings, 299557903 edges, 210746 markings/sec, 530 secs
lola: 133338155 markings, 302030042 edges, 211143 markings/sec, 535 secs
lola: 134437810 markings, 304601211 edges, 219931 markings/sec, 540 secs
lola: 135619386 markings, 307265446 edges, 236315 markings/sec, 545 secs
lola: 136723949 markings, 309843040 edges, 220913 markings/sec, 550 secs
lola: 137851602 markings, 312445651 edges, 225531 markings/sec, 555 secs
lola: 139013464 markings, 315056632 edges, 232372 markings/sec, 560 secs
lola: 140106575 markings, 317613358 edges, 218622 markings/sec, 565 secs
lola: 141188876 markings, 320081701 edges, 216460 markings/sec, 570 secs
lola: 142207340 markings, 322509865 edges, 203693 markings/sec, 575 secs
lola: 143278783 markings, 325005527 edges, 214289 markings/sec, 580 secs
lola: 144377353 markings, 327510421 edges, 219714 markings/sec, 585 secs
lola: 145383160 markings, 329916408 edges, 201161 markings/sec, 590 secs
lola: 146518114 markings, 332479360 edges, 226991 markings/sec, 595 secs
lola: 147656180 markings, 335016554 edges, 227613 markings/sec, 600 secs
lola: 148635761 markings, 337368484 edges, 195916 markings/sec, 605 secs
lola: 149612411 markings, 339699519 edges, 195330 markings/sec, 610 secs
lola: 150519451 markings, 341864659 edges, 181408 markings/sec, 615 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(PtP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PtP3)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-25-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: 1878552 markings, 3466018 edges, 375710 markings/sec, 0 secs
lola: 3592157 markings, 6626545 edges, 342721 markings/sec, 5 secs
lola: 5301758 markings, 9791379 edges, 341920 markings/sec, 10 secs
lola: 7086707 markings, 13106050 edges, 356990 markings/sec, 15 secs
lola: 8790006 markings, 16286218 edges, 340660 markings/sec, 20 secs
lola: 10674763 markings, 19793630 edges, 376951 markings/sec, 25 secs
lola: 12479954 markings, 23155011 edges, 361038 markings/sec, 30 secs
lola: 14330628 markings, 26591337 edges, 370135 markings/sec, 35 secs
lola: 16141959 markings, 29979134 edges, 362266 markings/sec, 40 secs
lola: 17739596 markings, 32965616 edges, 319527 markings/sec, 45 secs
lola: 19321481 markings, 35924320 edges, 316377 markings/sec, 50 secs
lola: 20894255 markings, 38878568 edges, 314555 markings/sec, 55 secs
lola: 22640967 markings, 42133760 edges, 349342 markings/sec, 60 secs
lola: 24452194 markings, 45510125 edges, 362245 markings/sec, 65 secs
lola: 26243262 markings, 48858621 edges, 358214 markings/sec, 70 secs
lola: 27970652 markings, 52105711 edges, 345478 markings/sec, 75 secs
lola: 29767884 markings, 55478866 edges, 359446 markings/sec, 80 secs
lola: 31566625 markings, 58852411 edges, 359748 markings/sec, 85 secs
lola: 33306030 markings, 62135691 edges, 347881 markings/sec, 90 secs
lola: 35021323 markings, 65382450 edges, 343059 markings/sec, 95 secs
lola: 36753297 markings, 68657719 edges, 346395 markings/sec, 100 secs
lola: 38468792 markings, 71914256 edges, 343099 markings/sec, 105 secs
lola: 40183486 markings, 75174712 edges, 342939 markings/sec, 110 secs
lola: 41888856 markings, 78429212 edges, 341074 markings/sec, 115 secs
lola: 43591388 markings, 81683840 edges, 340506 markings/sec, 120 secs
lola: 45261499 markings, 84869744 edges, 334022 markings/sec, 125 secs
lola: 46936359 markings, 88083356 edges, 334972 markings/sec, 130 secs
lola: 48608800 markings, 91307186 edges, 334488 markings/sec, 135 secs
lola: 50221100 markings, 94406128 edges, 322460 markings/sec, 140 secs
lola: 51875557 markings, 97612762 edges, 330891 markings/sec, 145 secs
lola: 53477212 markings, 100698468 edges, 320331 markings/sec, 150 secs
lola: 55097185 markings, 103860795 edges, 323995 markings/sec, 155 secs
lola: 56715730 markings, 107011542 edges, 323709 markings/sec, 160 secs
lola: 58335105 markings, 110165451 edges, 323875 markings/sec, 165 secs
lola: 59934639 markings, 113304797 edges, 319907 markings/sec, 170 secs
lola: 61528530 markings, 116426914 edges, 318778 markings/sec, 175 secs
lola: 63119100 markings, 119548725 edges, 318114 markings/sec, 180 secs
lola: 64724919 markings, 122669184 edges, 321164 markings/sec, 185 secs
lola: 66305083 markings, 125771353 edges, 316033 markings/sec, 190 secs
lola: 67897523 markings, 128899802 edges, 318488 markings/sec, 195 secs
lola: 69462821 markings, 131967383 edges, 313060 markings/sec, 200 secs
lola: 70961443 markings, 134921315 edges, 299724 markings/sec, 205 secs
lola: 72505652 markings, 137966770 edges, 308842 markings/sec, 210 secs
lola: 74068114 markings, 141025206 edges, 312492 markings/sec, 215 secs
lola: 75600200 markings, 144041883 edges, 306417 markings/sec, 220 secs
lola: 77124158 markings, 147060031 edges, 304792 markings/sec, 225 secs
lola: 78658833 markings, 150086571 edges, 306935 markings/sec, 230 secs
lola: 80185770 markings, 153099827 edges, 305387 markings/sec, 235 secs
lola: 81690772 markings, 156064842 edges, 301000 markings/sec, 240 secs
lola: 83202874 markings, 159052689 edges, 302420 markings/sec, 245 secs
lola: 84717757 markings, 162057187 edges, 302977 markings/sec, 250 secs
lola: 86224481 markings, 165038795 edges, 301345 markings/sec, 255 secs
lola: 87727231 markings, 168015326 edges, 300550 markings/sec, 260 secs
lola: 89200189 markings, 170948911 edges, 294592 markings/sec, 265 secs
lola: 90682765 markings, 173917573 edges, 296515 markings/sec, 270 secs
lola: 92181492 markings, 176892600 edges, 299745 markings/sec, 275 secs
lola: 93659317 markings, 179848197 edges, 295565 markings/sec, 280 secs
lola: 95156903 markings, 182830342 edges, 299517 markings/sec, 285 secs
lola: 96629365 markings, 185758639 edges, 294492 markings/sec, 290 secs
lola: 98097079 markings, 188704787 edges, 293543 markings/sec, 295 secs
lola: 99575072 markings, 191651500 edges, 295599 markings/sec, 300 secs
lola: 101070693 markings, 194627132 edges, 299124 markings/sec, 305 secs
lola: 102557462 markings, 197575171 edges, 297354 markings/sec, 310 secs
lola: 104053895 markings, 200547652 edges, 299287 markings/sec, 315 secs
lola: 105575539 markings, 203551483 edges, 304329 markings/sec, 320 secs
lola: 107045557 markings, 206490235 edges, 294004 markings/sec, 325 secs
lola: 108506772 markings, 209437437 edges, 292243 markings/sec, 330 secs
lola: 109974022 markings, 212387911 edges, 293450 markings/sec, 335 secs
lola: 111450306 markings, 215349526 edges, 295257 markings/sec, 340 secs
lola: 112938146 markings, 218319258 edges, 297568 markings/sec, 345 secs
lola: 114401278 markings, 221263735 edges, 292626 markings/sec, 350 secs
lola: 115857402 markings, 224211282 edges, 291225 markings/sec, 355 secs
lola: 117327835 markings, 227162106 edges, 294087 markings/sec, 360 secs
lola: 118742514 markings, 230022202 edges, 282936 markings/sec, 365 secs
lola: 120145765 markings, 232855345 edges, 280650 markings/sec, 370 secs
lola: 121531145 markings, 235672984 edges, 277076 markings/sec, 375 secs
lola: 122916159 markings, 238461204 edges, 277003 markings/sec, 380 secs
lola: 124291650 markings, 241244732 edges, 275098 markings/sec, 385 secs
lola: 125690613 markings, 244079812 edges, 279793 markings/sec, 390 secs
lola: 127116581 markings, 246941547 edges, 285194 markings/sec, 395 secs
lola: 128578398 markings, 249881968 edges, 292363 markings/sec, 400 secs
lola: 130043760 markings, 252826156 edges, 293072 markings/sec, 405 secs
lola: 131489734 markings, 255748616 edges, 289195 markings/sec, 410 secs
lola: 132908539 markings, 258640170 edges, 283761 markings/sec, 415 secs
lola: 134345625 markings, 261525701 edges, 287417 markings/sec, 420 secs
lola: 135706562 markings, 264287919 edges, 272187 markings/sec, 425 secs
lola: 137090602 markings, 267074350 edges, 276808 markings/sec, 430 secs
lola: 138446312 markings, 269816359 edges, 271142 markings/sec, 435 secs
lola: 139812088 markings, 272565640 edges, 273155 markings/sec, 440 secs
lola: 141160026 markings, 275312319 edges, 269588 markings/sec, 445 secs
lola: 142538491 markings, 278104908 edges, 275693 markings/sec, 450 secs
lola: 143909087 markings, 280872029 edges, 274119 markings/sec, 455 secs
lola: 145266030 markings, 283629379 edges, 271389 markings/sec, 460 secs
lola: 146632789 markings, 286382147 edges, 273352 markings/sec, 465 secs
lola: 147983992 markings, 289123736 edges, 270241 markings/sec, 470 secs
lola: 149399514 markings, 291995256 edges, 283104 markings/sec, 475 secs
lola: 150101340 markings, 293438544 edges, 140365 markings/sec, 480 secs
lola: 150187440 markings, 293599341 edges, 17220 markings/sec, 485 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA Angiogenesis-PT-25-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3kStarP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarP3kStarP2)
lola: processed formula length: 25
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-25-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: 1872487 markings, 3332348 edges, 374497 markings/sec, 0 secs
lola: 3831479 markings, 6921304 edges, 391798 markings/sec, 5 secs
lola: 5629818 markings, 10280542 edges, 359668 markings/sec, 10 secs
lola: 7391647 markings, 13581203 edges, 352366 markings/sec, 15 secs
lola: 9100364 markings, 16822389 edges, 341743 markings/sec, 20 secs
lola: 10715602 markings, 19886358 edges, 323048 markings/sec, 25 secs
lola: 12372631 markings, 23041708 edges, 331406 markings/sec, 30 secs
lola: 14029936 markings, 26195529 edges, 331461 markings/sec, 35 secs
lola: 15663342 markings, 29314823 edges, 326681 markings/sec, 40 secs
lola: 17237199 markings, 32337873 edges, 314771 markings/sec, 45 secs
lola: 18822027 markings, 35376797 edges, 316966 markings/sec, 50 secs
lola: 20387589 markings, 38396638 edges, 313112 markings/sec, 55 secs
lola: 21918898 markings, 41362204 edges, 306262 markings/sec, 60 secs
lola: 23411628 markings, 44262801 edges, 298546 markings/sec, 65 secs
lola: 24889192 markings, 47140887 edges, 295513 markings/sec, 70 secs
lola: 26398340 markings, 50050542 edges, 301830 markings/sec, 75 secs
lola: 27890975 markings, 52943685 edges, 298527 markings/sec, 80 secs
lola: 29341666 markings, 55775321 edges, 290138 markings/sec, 85 secs
lola: 30782646 markings, 58576657 edges, 288196 markings/sec, 90 secs
lola: 32270751 markings, 61457033 edges, 297621 markings/sec, 95 secs
lola: 33718085 markings, 64300226 edges, 289467 markings/sec, 100 secs
lola: 35161513 markings, 67109100 edges, 288686 markings/sec, 105 secs
lola: 36589644 markings, 69917835 edges, 285626 markings/sec, 110 secs
lola: 38009128 markings, 72703615 edges, 283897 markings/sec, 115 secs
lola: 39462494 markings, 75531695 edges, 290673 markings/sec, 120 secs
lola: 40850779 markings, 78255122 edges, 277657 markings/sec, 125 secs
lola: 42259020 markings, 81031444 edges, 281648 markings/sec, 130 secs
lola: 43659895 markings, 83810809 edges, 280175 markings/sec, 135 secs
lola: 45084467 markings, 86590563 edges, 284914 markings/sec, 140 secs
lola: 46497260 markings, 89365450 edges, 282559 markings/sec, 145 secs
lola: 47924914 markings, 92140616 edges, 285531 markings/sec, 150 secs
lola: 49321856 markings, 94887393 edges, 279388 markings/sec, 155 secs
lola: 50700193 markings, 97616821 edges, 275667 markings/sec, 160 secs
lola: 52100132 markings, 100370720 edges, 279988 markings/sec, 165 secs
lola: 53491367 markings, 103120706 edges, 278247 markings/sec, 170 secs
lola: 54875111 markings, 105858165 edges, 276749 markings/sec, 175 secs
lola: 56243816 markings, 108578986 edges, 273741 markings/sec, 180 secs
lola: 57599786 markings, 111269490 edges, 271194 markings/sec, 185 secs
lola: 58957673 markings, 113960492 edges, 271577 markings/sec, 190 secs
lola: 60302654 markings, 116636542 edges, 268996 markings/sec, 195 secs
lola: 61643115 markings, 119310969 edges, 268092 markings/sec, 200 secs
lola: 62985198 markings, 121987445 edges, 268417 markings/sec, 205 secs
lola: 64321171 markings, 124626516 edges, 267195 markings/sec, 210 secs
lola: 65654436 markings, 127268632 edges, 266653 markings/sec, 215 secs
lola: 66960752 markings, 129883832 edges, 261263 markings/sec, 220 secs
lola: 68282601 markings, 132516545 edges, 264370 markings/sec, 225 secs
lola: 69607413 markings, 135145507 edges, 264962 markings/sec, 230 secs
lola: 70925248 markings, 137765305 edges, 263567 markings/sec, 235 secs
lola: 72256019 markings, 140406087 edges, 266154 markings/sec, 240 secs
lola: 73563128 markings, 143022589 edges, 261422 markings/sec, 245 secs
lola: 74858868 markings, 145628967 edges, 259148 markings/sec, 250 secs
lola: 76161192 markings, 148242280 edges, 260465 markings/sec, 255 secs
lola: 77448306 markings, 150832177 edges, 257423 markings/sec, 260 secs
lola: 78797190 markings, 153490801 edges, 269777 markings/sec, 265 secs
lola: 80100278 markings, 156096032 edges, 260618 markings/sec, 270 secs
lola: 81422880 markings, 158717059 edges, 264520 markings/sec, 275 secs
lola: 82717814 markings, 161305842 edges, 258987 markings/sec, 280 secs
lola: 84005258 markings, 163902445 edges, 257489 markings/sec, 285 secs
lola: 85304741 markings, 166501057 edges, 259897 markings/sec, 290 secs
lola: 86576984 markings, 169076528 edges, 254449 markings/sec, 295 secs
lola: 87876680 markings, 171671359 edges, 259939 markings/sec, 300 secs
lola: 89148687 markings, 174239166 edges, 254401 markings/sec, 305 secs
lola: 90404750 markings, 176751383 edges, 251213 markings/sec, 310 secs
lola: 91661873 markings, 179280578 edges, 251425 markings/sec, 315 secs
lola: 92910005 markings, 181798590 edges, 249626 markings/sec, 320 secs
lola: 94203758 markings, 184394283 edges, 258751 markings/sec, 325 secs
lola: 95515491 markings, 187002185 edges, 262347 markings/sec, 330 secs
lola: 96795926 markings, 189557518 edges, 256087 markings/sec, 335 secs
lola: 98070918 markings, 192105532 edges, 254998 markings/sec, 340 secs
lola: 99340872 markings, 194675452 edges, 253991 markings/sec, 345 secs
lola: 100611404 markings, 197238506 edges, 254106 markings/sec, 350 secs
lola: 101867263 markings, 199773668 edges, 251172 markings/sec, 355 secs
lola: 103121342 markings, 202314520 edges, 250816 markings/sec, 360 secs
lola: 104377680 markings, 204851162 edges, 251268 markings/sec, 365 secs
lola: 105663359 markings, 207417310 edges, 257136 markings/sec, 370 secs
lola: 106932554 markings, 209974759 edges, 253839 markings/sec, 375 secs
lola: 108194502 markings, 212515048 edges, 252390 markings/sec, 380 secs
lola: 109444331 markings, 215027262 edges, 249966 markings/sec, 385 secs
lola: 110703279 markings, 217551214 edges, 251790 markings/sec, 390 secs
lola: 111949099 markings, 220076371 edges, 249164 markings/sec, 395 secs
lola: 113189976 markings, 222585001 edges, 248175 markings/sec, 400 secs
lola: 114459297 markings, 225124715 edges, 253864 markings/sec, 405 secs
lola: 115702291 markings, 227646797 edges, 248599 markings/sec, 410 secs
lola: 116986355 markings, 230209620 edges, 256813 markings/sec, 415 secs
lola: 118234860 markings, 232732681 edges, 249701 markings/sec, 420 secs
lola: 119507701 markings, 235274085 edges, 254568 markings/sec, 425 secs
lola: 120736618 markings, 237739943 edges, 245783 markings/sec, 430 secs
lola: 121907214 markings, 240130223 edges, 234119 markings/sec, 435 secs
lola: 123108807 markings, 242540036 edges, 240319 markings/sec, 440 secs
lola: 124309761 markings, 244968237 edges, 240191 markings/sec, 445 secs
lola: 125544946 markings, 247438752 edges, 247037 markings/sec, 450 secs
lola: 126755066 markings, 249890116 edges, 242024 markings/sec, 455 secs
lola: 127966956 markings, 252329913 edges, 242378 markings/sec, 460 secs
lola: 129183251 markings, 254766115 edges, 243259 markings/sec, 465 secs
lola: 130402714 markings, 257203534 edges, 243893 markings/sec, 470 secs
lola: 131609383 markings, 259640323 edges, 241334 markings/sec, 475 secs
lola: 132847355 markings, 262154888 edges, 247594 markings/sec, 480 secs
lola: 134096891 markings, 264681758 edges, 249907 markings/sec, 485 secs
lola: 135322114 markings, 267179214 edges, 245045 markings/sec, 490 secs
lola: 136551584 markings, 269688015 edges, 245894 markings/sec, 495 secs
lola: 137811187 markings, 272214201 edges, 251921 markings/sec, 500 secs
lola: 139024327 markings, 274691872 edges, 242628 markings/sec, 505 secs
lola: 140259173 markings, 277193119 edges, 246969 markings/sec, 510 secs
lola: 141464742 markings, 279638620 edges, 241114 markings/sec, 515 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA Angiogenesis-PT-25-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3kStarP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarP3kStarP2)
lola: processed formula length: 25
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-25-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: 2011164 markings, 3584211 edges, 402233 markings/sec, 0 secs
lola: 3937674 markings, 7113839 edges, 385302 markings/sec, 5 secs
lola: 5708999 markings, 10424025 edges, 354265 markings/sec, 10 secs
lola: 7498373 markings, 13780585 edges, 357875 markings/sec, 15 secs
lola: 9194840 markings, 16993242 edges, 339293 markings/sec, 20 secs
lola: 10880471 markings, 20190773 edges, 337126 markings/sec, 25 secs
lola: 12547739 markings, 23375200 edges, 333454 markings/sec, 30 secs
lola: 14223881 markings, 26563335 edges, 335228 markings/sec, 35 secs
lola: 15877849 markings, 29717849 edges, 330794 markings/sec, 40 secs
lola: 17469969 markings, 32790221 edges, 318424 markings/sec, 45 secs
lola: 19079980 markings, 35879510 edges, 322002 markings/sec, 50 secs
lola: 20593885 markings, 38796460 edges, 302781 markings/sec, 55 secs
lola: 22156976 markings, 41824095 edges, 312618 markings/sec, 60 secs
lola: 23702704 markings, 44825434 edges, 309146 markings/sec, 65 secs
lola: 25242105 markings, 47818752 edges, 307880 markings/sec, 70 secs
lola: 26783581 markings, 50800722 edges, 308295 markings/sec, 75 secs
lola: 28304686 markings, 53751315 edges, 304221 markings/sec, 80 secs
lola: 29800700 markings, 56655601 edges, 299203 markings/sec, 85 secs
lola: 31290492 markings, 59555541 edges, 297958 markings/sec, 90 secs
lola: 32702203 markings, 62312620 edges, 282342 markings/sec, 95 secs
lola: 34083881 markings, 65014887 edges, 276336 markings/sec, 100 secs
lola: 35498427 markings, 67764054 edges, 282909 markings/sec, 105 secs
lola: 36927031 markings, 70575814 edges, 285721 markings/sec, 110 secs
lola: 38345146 markings, 73353905 edges, 283623 markings/sec, 115 secs
lola: 39783192 markings, 76170563 edges, 287609 markings/sec, 120 secs
lola: 41168588 markings, 78884180 edges, 277079 markings/sec, 125 secs
lola: 42595247 markings, 81691866 edges, 285332 markings/sec, 130 secs
lola: time limit reached - aborting
lola:
preliminary result: 25 25 25 25 25 unknown 25 25 25 unknown unknown 25 25 25 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 25 25 25 25 25 unknown 25 25 25 unknown unknown 25 25 25 unknown unknown
lola:
preliminary result: 25 25 25 25 25 unknown 25 25 25 unknown unknown 25 25 25 unknown unknown
lola: memory consumption: 4920060 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 25 25 25 25 25 unknown 25 25 25 unknown unknown 25 25 25 unknown unknown
lola: memory consumption: 4920060 KB
lola: time consumption: 3569 seconds

BK_STOP 1552403579938

--------------------
content from stderr:

grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Angiogenesis-PT-25"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is Angiogenesis-PT-25, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r022-csrt-155225094400016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Angiogenesis-PT-25.tgz
mv Angiogenesis-PT-25 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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 ;