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-155225094400019.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-50, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r022-csrt-155225094400019
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 4.6K Feb 9 06:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 9 06:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 03:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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.7K 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 7.4K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 2 00:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 2 00:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Jan 29 11:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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-50-UpperBounds-00
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-01
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-02
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-03
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-04
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-05
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-06
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-07
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-08
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-09
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-10
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-11
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-12
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-13
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-14
FORMULA_NAME Angiogenesis-PT-50-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552400008099

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

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

lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(DAG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(DAG)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 250 markings, 347 edges
lola: ========================================

FORMULA Angiogenesis-PT-50-UpperBounds-2 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGP3)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 2482532 markings, 3964534 edges, 496506 markings/sec, 0 secs
lola: 4545594 markings, 7320257 edges, 412612 markings/sec, 5 secs
lola: 6550383 markings, 10590771 edges, 400958 markings/sec, 10 secs
lola: 8675510 markings, 14058603 edges, 425025 markings/sec, 15 secs
lola: 10573051 markings, 17163551 edges, 379508 markings/sec, 20 secs
lola: 12544057 markings, 20398469 edges, 394201 markings/sec, 25 secs
lola: 14375350 markings, 23408054 edges, 366259 markings/sec, 30 secs
lola: 16231873 markings, 26460824 edges, 371305 markings/sec, 35 secs
lola: 18178428 markings, 29658599 edges, 389311 markings/sec, 40 secs
lola: 20009274 markings, 32678263 edges, 366169 markings/sec, 45 secs
lola: 21785822 markings, 35606632 edges, 355310 markings/sec, 50 secs
lola: 23560325 markings, 38526141 edges, 354901 markings/sec, 55 secs
lola: 25309453 markings, 41408507 edges, 349826 markings/sec, 60 secs
lola: 27063879 markings, 44301432 edges, 350885 markings/sec, 65 secs
lola: 28842600 markings, 47233741 edges, 355744 markings/sec, 70 secs
lola: 30656786 markings, 50222259 edges, 362837 markings/sec, 75 secs
lola: 32504801 markings, 53273525 edges, 369603 markings/sec, 80 secs
lola: 34338842 markings, 56309952 edges, 366808 markings/sec, 85 secs
lola: 36186620 markings, 59353128 edges, 369556 markings/sec, 90 secs
lola: 38010355 markings, 62364411 edges, 364747 markings/sec, 95 secs
lola: 39821411 markings, 65368249 edges, 362211 markings/sec, 100 secs
lola: 41637998 markings, 68374704 edges, 363317 markings/sec, 105 secs
lola: 43481250 markings, 71412509 edges, 368650 markings/sec, 110 secs
lola: 45289922 markings, 74401036 edges, 361734 markings/sec, 115 secs
lola: 47085052 markings, 77364855 edges, 359026 markings/sec, 120 secs
lola: 48875066 markings, 80329349 edges, 358003 markings/sec, 125 secs
lola: 50684939 markings, 83312084 edges, 361975 markings/sec, 130 secs
lola: 52451660 markings, 86251871 edges, 353344 markings/sec, 135 secs
lola: 54235239 markings, 89205197 edges, 356716 markings/sec, 140 secs
lola: 56006946 markings, 92135968 edges, 354341 markings/sec, 145 secs
lola: 57772597 markings, 95065710 edges, 353130 markings/sec, 150 secs
lola: 59537058 markings, 97995357 edges, 352892 markings/sec, 155 secs
lola: 61301685 markings, 100920449 edges, 352925 markings/sec, 160 secs
lola: 63069928 markings, 103845119 edges, 353649 markings/sec, 165 secs
lola: 64828455 markings, 106758653 edges, 351705 markings/sec, 170 secs
lola: 66590508 markings, 109670283 edges, 352411 markings/sec, 175 secs
lola: 68333965 markings, 112557163 edges, 348691 markings/sec, 180 secs
lola: 70070625 markings, 115439992 edges, 347332 markings/sec, 185 secs
lola: 71801277 markings, 118311302 edges, 346130 markings/sec, 190 secs
lola: 73561122 markings, 121215825 edges, 351969 markings/sec, 195 secs
lola: 75279355 markings, 124076572 edges, 343647 markings/sec, 200 secs
lola: 77001281 markings, 126925816 edges, 344385 markings/sec, 205 secs
lola: 78725608 markings, 129779503 edges, 344865 markings/sec, 210 secs
lola: 80459604 markings, 132660081 edges, 346799 markings/sec, 215 secs
lola: 82181102 markings, 135526334 edges, 344300 markings/sec, 220 secs
lola: 83892535 markings, 138366142 edges, 342287 markings/sec, 225 secs
lola: 85617503 markings, 141221816 edges, 344994 markings/sec, 230 secs
lola: 87314558 markings, 144036988 edges, 339411 markings/sec, 235 secs
lola: 89007265 markings, 146845322 edges, 338541 markings/sec, 240 secs
lola: 90580977 markings, 149454411 edges, 314742 markings/sec, 245 secs
lola: 92177626 markings, 152108315 edges, 319330 markings/sec, 250 secs
lola: 93766857 markings, 154731661 edges, 317846 markings/sec, 255 secs
lola: 95447283 markings, 157514268 edges, 336085 markings/sec, 260 secs
lola: 97043784 markings, 160170705 edges, 319300 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 50 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7127020 KB
lola: time consumption: 274 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 274 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-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 740 markings, 982 edges
lola: ========================================

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

FORMULA Angiogenesis-PT-50-UpperBounds-5 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 329 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-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 2467378 markings, 4135402 edges, 493476 markings/sec, 0 secs
lola: 4920661 markings, 8311227 edges, 490657 markings/sec, 5 secs
lola: 6887275 markings, 11786965 edges, 393323 markings/sec, 10 secs
lola: 8671403 markings, 14963769 edges, 356826 markings/sec, 15 secs
lola: 10302461 markings, 17905709 edges, 326212 markings/sec, 20 secs
lola: 11911365 markings, 20812804 edges, 321781 markings/sec, 25 secs
lola: 13484687 markings, 23673338 edges, 314664 markings/sec, 30 secs
lola: 15033258 markings, 26492096 edges, 309714 markings/sec, 35 secs
lola: 16570494 markings, 29290888 edges, 307447 markings/sec, 40 secs
lola: 18077623 markings, 32049243 edges, 301426 markings/sec, 45 secs
lola: 19578467 markings, 34793170 edges, 300169 markings/sec, 50 secs
lola: 21063439 markings, 37518233 edges, 296994 markings/sec, 55 secs
lola: 22520088 markings, 40210624 edges, 291330 markings/sec, 60 secs
lola: 24073365 markings, 43060700 edges, 310655 markings/sec, 65 secs
lola: 25750789 markings, 46147419 edges, 335485 markings/sec, 70 secs
lola: 27422052 markings, 49209495 edges, 334253 markings/sec, 75 secs
lola: 29064895 markings, 52238955 edges, 328569 markings/sec, 80 secs
lola: 31034025 markings, 55752569 edges, 393826 markings/sec, 85 secs
lola: 32693053 markings, 58817766 edges, 331806 markings/sec, 90 secs
lola: 34316448 markings, 61804665 edges, 324679 markings/sec, 95 secs
lola: 36078627 markings, 64997477 edges, 352436 markings/sec, 100 secs
lola: 37776301 markings, 68121309 edges, 339535 markings/sec, 105 secs
lola: 39372040 markings, 71101456 edges, 319148 markings/sec, 110 secs
lola: 41006071 markings, 74127437 edges, 326806 markings/sec, 115 secs
lola: 42637195 markings, 77154237 edges, 326225 markings/sec, 120 secs
lola: 44498195 markings, 80509276 edges, 372200 markings/sec, 125 secs
lola: 46098429 markings, 83483212 edges, 320047 markings/sec, 130 secs
lola: 47664722 markings, 86384143 edges, 313259 markings/sec, 135 secs
lola: 49205177 markings, 89247722 edges, 308091 markings/sec, 140 secs
lola: 50719902 markings, 92085144 edges, 302945 markings/sec, 145 secs
lola: 52257790 markings, 94960313 edges, 307578 markings/sec, 150 secs
lola: 53776946 markings, 97797165 edges, 303831 markings/sec, 155 secs
lola: 55298009 markings, 100637234 edges, 304213 markings/sec, 160 secs
lola: 56844504 markings, 103503356 edges, 309299 markings/sec, 165 secs
lola: 58354112 markings, 106328304 edges, 301922 markings/sec, 170 secs
lola: 59853954 markings, 109131441 edges, 299968 markings/sec, 175 secs
lola: 61345635 markings, 111934275 edges, 298336 markings/sec, 180 secs
lola: 62858267 markings, 114756327 edges, 302526 markings/sec, 185 secs
lola: 64361987 markings, 117569226 edges, 300744 markings/sec, 190 secs
lola: 65847268 markings, 120356036 edges, 297056 markings/sec, 195 secs
lola: 67344491 markings, 123164524 edges, 299445 markings/sec, 200 secs
lola: 68840509 markings, 125961991 edges, 299204 markings/sec, 205 secs
lola: 70343713 markings, 128764086 edges, 300641 markings/sec, 210 secs
lola: 71827359 markings, 131556272 edges, 296729 markings/sec, 215 secs
lola: 73277303 markings, 134308756 edges, 289989 markings/sec, 220 secs
lola: 74813660 markings, 137173759 edges, 307271 markings/sec, 225 secs
lola: 76302480 markings, 139987015 edges, 297764 markings/sec, 230 secs
lola: 77790363 markings, 142768503 edges, 297577 markings/sec, 235 secs
lola: 79249710 markings, 145505216 edges, 291869 markings/sec, 240 secs
lola: 80702610 markings, 148243310 edges, 290580 markings/sec, 245 secs
lola: 82202688 markings, 151030708 edges, 300016 markings/sec, 250 secs
lola: 83935454 markings, 154165247 edges, 346553 markings/sec, 255 secs
lola: 85375477 markings, 156886130 edges, 288005 markings/sec, 260 secs
lola: 86836189 markings, 159629429 edges, 292142 markings/sec, 265 secs
lola: 88310961 markings, 162396155 edges, 294954 markings/sec, 270 secs
lola: 89781068 markings, 165147424 edges, 294021 markings/sec, 275 secs
lola: 91235507 markings, 167886958 edges, 290888 markings/sec, 280 secs
lola: 92818840 markings, 170807519 edges, 316667 markings/sec, 285 secs
lola: 94459836 markings, 173820753 edges, 328199 markings/sec, 290 secs
lola: 95906550 markings, 176554624 edges, 289343 markings/sec, 295 secs
lola: 97357594 markings, 179279933 edges, 290209 markings/sec, 300 secs
lola: 98809068 markings, 182004466 edges, 290295 markings/sec, 305 secs
lola: 100242544 markings, 184712666 edges, 286695 markings/sec, 310 secs
lola: 101694501 markings, 187438889 edges, 290391 markings/sec, 315 secs
lola: 103129084 markings, 190152310 edges, 286917 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 50 50 unknown 50 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P3k)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P3k)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 0 markings, 0 edges
lola: ========================================

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

FORMULA Angiogenesis-PT-50-UpperBounds-8 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 423 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-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 2219738 markings, 4083566 edges, 443948 markings/sec, 0 secs
lola: 4298761 markings, 7953694 edges, 415805 markings/sec, 5 secs
lola: 6328101 markings, 11766899 edges, 405868 markings/sec, 10 secs
lola: 8342002 markings, 15547639 edges, 402780 markings/sec, 15 secs
lola: 10264528 markings, 19218215 edges, 384505 markings/sec, 20 secs
lola: 12137672 markings, 22827146 edges, 374629 markings/sec, 25 secs
lola: 13984940 markings, 26402168 edges, 369454 markings/sec, 30 secs
lola: 15816320 markings, 29960564 edges, 366276 markings/sec, 35 secs
lola: 17643136 markings, 33511919 edges, 365363 markings/sec, 40 secs
lola: 19416401 markings, 36988904 edges, 354653 markings/sec, 45 secs
lola: 21286717 markings, 40587014 edges, 374063 markings/sec, 50 secs
lola: 23041412 markings, 44065161 edges, 350939 markings/sec, 55 secs
lola: 24814562 markings, 47563056 edges, 354630 markings/sec, 60 secs
lola: 26598640 markings, 51096512 edges, 356816 markings/sec, 65 secs
lola: 28403569 markings, 54641549 edges, 360986 markings/sec, 70 secs
lola: 30044909 markings, 57998932 edges, 328268 markings/sec, 75 secs
lola: 31731514 markings, 61381193 edges, 337321 markings/sec, 80 secs
lola: 33448628 markings, 64804040 edges, 343423 markings/sec, 85 secs
lola: 35152949 markings, 68210840 edges, 340864 markings/sec, 90 secs
lola: 36867254 markings, 71617521 edges, 342861 markings/sec, 95 secs
lola: 38556415 markings, 75006348 edges, 337832 markings/sec, 100 secs
lola: 40202957 markings, 78345226 edges, 329308 markings/sec, 105 secs
lola: 41839234 markings, 81659915 edges, 327255 markings/sec, 110 secs
lola: 43445965 markings, 84952092 edges, 321346 markings/sec, 115 secs
lola: 45139081 markings, 88343633 edges, 338623 markings/sec, 120 secs
lola: 46823911 markings, 91723380 edges, 336966 markings/sec, 125 secs
lola: 48441343 markings, 95025320 edges, 323486 markings/sec, 130 secs
lola: 50101606 markings, 98367419 edges, 332053 markings/sec, 135 secs
lola: 51670803 markings, 101621331 edges, 313839 markings/sec, 140 secs
lola: 53333074 markings, 104968298 edges, 332454 markings/sec, 145 secs
lola: 54987182 markings, 108294989 edges, 330822 markings/sec, 150 secs
lola: 56607169 markings, 111589424 edges, 323997 markings/sec, 155 secs
lola: 58212993 markings, 114876431 edges, 321165 markings/sec, 160 secs
lola: 59910199 markings, 118258363 edges, 339441 markings/sec, 165 secs
lola: 61511588 markings, 121531064 edges, 320278 markings/sec, 170 secs
lola: 63067451 markings, 124752260 edges, 311173 markings/sec, 175 secs
lola: 64635794 markings, 127994434 edges, 313669 markings/sec, 180 secs
lola: 66216751 markings, 131225675 edges, 316191 markings/sec, 185 secs
lola: 67862858 markings, 134551297 edges, 329221 markings/sec, 190 secs
lola: 69421393 markings, 137768052 edges, 311707 markings/sec, 195 secs
lola: 71029552 markings, 141035860 edges, 321632 markings/sec, 200 secs
lola: 72595240 markings, 144276978 edges, 313138 markings/sec, 205 secs
lola: 74213493 markings, 147573213 edges, 323651 markings/sec, 210 secs
lola: 75812319 markings, 150842374 edges, 319765 markings/sec, 215 secs
lola: 77410656 markings, 154132792 edges, 319667 markings/sec, 220 secs
lola: 79070886 markings, 157508838 edges, 332046 markings/sec, 225 secs
lola: 80760430 markings, 160923828 edges, 337909 markings/sec, 230 secs
lola: 82342221 markings, 164219224 edges, 316358 markings/sec, 235 secs
lola: 83963720 markings, 167553657 edges, 324300 markings/sec, 240 secs
lola: 85614779 markings, 170923770 edges, 330212 markings/sec, 245 secs
lola: 87351160 markings, 174384852 edges, 347276 markings/sec, 250 secs
lola: 88960042 markings, 177656811 edges, 321776 markings/sec, 255 secs
lola: 90538513 markings, 180893911 edges, 315694 markings/sec, 260 secs
lola: 92057729 markings, 184070721 edges, 303843 markings/sec, 265 secs
lola: 93593794 markings, 187268161 edges, 307213 markings/sec, 270 secs
lola: 95208459 markings, 190554989 edges, 322933 markings/sec, 275 secs
lola: 96857706 markings, 193865726 edges, 329849 markings/sec, 280 secs
lola: 98406553 markings, 197065408 edges, 309769 markings/sec, 285 secs
lola: 100089587 markings, 200445049 edges, 336607 markings/sec, 290 secs
lola: 101686401 markings, 203740528 edges, 319363 markings/sec, 295 secs
lola: 103265764 markings, 207001430 edges, 315873 markings/sec, 300 secs
lola: 104815278 markings, 210204847 edges, 309903 markings/sec, 305 secs
lola: 106322406 markings, 213367278 edges, 301426 markings/sec, 310 secs
lola: 107815988 markings, 216510805 edges, 298716 markings/sec, 315 secs
lola: 109251986 markings, 219588392 edges, 287200 markings/sec, 320 secs
lola: 110841708 markings, 222862194 edges, 317944 markings/sec, 325 secs
lola: 112354558 markings, 226065326 edges, 302570 markings/sec, 330 secs
lola: 113981494 markings, 229397150 edges, 325387 markings/sec, 335 secs
lola: 115523768 markings, 232635042 edges, 308455 markings/sec, 340 secs
lola: 117069679 markings, 235850517 edges, 309182 markings/sec, 345 secs
lola: 118577460 markings, 239008400 edges, 301556 markings/sec, 350 secs
lola: 120114384 markings, 242206621 edges, 307385 markings/sec, 355 secs
lola: 121630128 markings, 245372528 edges, 303149 markings/sec, 360 secs
lola: 123146488 markings, 248530480 edges, 303272 markings/sec, 365 secs
lola: 124663703 markings, 251704953 edges, 303443 markings/sec, 370 secs
lola: 126210164 markings, 254905722 edges, 309292 markings/sec, 375 secs
lola: 127753424 markings, 258094775 edges, 308652 markings/sec, 380 secs
lola: 129274163 markings, 261259398 edges, 304148 markings/sec, 385 secs
lola: 130730353 markings, 264337386 edges, 291238 markings/sec, 390 secs
lola: 132236191 markings, 267483961 edges, 301168 markings/sec, 395 secs
lola: 133772557 markings, 270671253 edges, 307273 markings/sec, 400 secs
lola: 135294649 markings, 273831777 edges, 304418 markings/sec, 405 secs
lola: 136820232 markings, 276988957 edges, 305117 markings/sec, 410 secs
lola: 138238600 markings, 280049977 edges, 283674 markings/sec, 415 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 50 50 unknown 50 50 unknown 50 50 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 423 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-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: 2703151 markings, 4264923 edges, 540630 markings/sec, 0 secs
lola: 5236028 markings, 8314514 edges, 506575 markings/sec, 5 secs
lola: 7759460 markings, 12344792 edges, 504686 markings/sec, 10 secs
lola: 10263742 markings, 16365856 edges, 500856 markings/sec, 15 secs
lola: 12678611 markings, 20255548 edges, 482974 markings/sec, 20 secs
lola: 15062219 markings, 24119519 edges, 476722 markings/sec, 25 secs
lola: 17423050 markings, 27937037 edges, 472166 markings/sec, 30 secs
lola: 19812604 markings, 31784403 edges, 477911 markings/sec, 35 secs
lola: 22135368 markings, 35546459 edges, 464553 markings/sec, 40 secs
lola: 24483487 markings, 39330647 edges, 469624 markings/sec, 45 secs
lola: 26761653 markings, 43053795 edges, 455633 markings/sec, 50 secs
lola: 29068508 markings, 46794743 edges, 461371 markings/sec, 55 secs
lola: 31357200 markings, 50520182 edges, 457738 markings/sec, 60 secs
lola: 33595104 markings, 54172281 edges, 447581 markings/sec, 65 secs
lola: 35839959 markings, 57847000 edges, 448971 markings/sec, 70 secs
lola: 38142749 markings, 61590447 edges, 460558 markings/sec, 75 secs
lola: 40350214 markings, 65202715 edges, 441493 markings/sec, 80 secs
lola: 42589952 markings, 68837093 edges, 447948 markings/sec, 85 secs
lola: 44774990 markings, 72412792 edges, 437008 markings/sec, 90 secs
lola: 46936189 markings, 75965826 edges, 432240 markings/sec, 95 secs
lola: 49183573 markings, 79612572 edges, 449477 markings/sec, 100 secs
lola: 51381656 markings, 83203101 edges, 439617 markings/sec, 105 secs
lola: 53558410 markings, 86766149 edges, 435351 markings/sec, 110 secs
lola: 55792552 markings, 90399761 edges, 446828 markings/sec, 115 secs
lola: 58004737 markings, 94014019 edges, 442437 markings/sec, 120 secs
lola: 60193384 markings, 97585716 edges, 437729 markings/sec, 125 secs
lola: 62288427 markings, 101044168 edges, 419009 markings/sec, 130 secs
lola: 64437271 markings, 104570580 edges, 429769 markings/sec, 135 secs
lola: 66566039 markings, 108063725 edges, 425754 markings/sec, 140 secs
lola: 68621404 markings, 111437359 edges, 411073 markings/sec, 145 secs
lola: 70745357 markings, 114941017 edges, 424791 markings/sec, 150 secs
lola: 72879533 markings, 118435335 edges, 426835 markings/sec, 155 secs
lola: 75070029 markings, 122015121 edges, 438099 markings/sec, 160 secs
lola: 77205391 markings, 125523712 edges, 427072 markings/sec, 165 secs
lola: 79280804 markings, 128962632 edges, 415083 markings/sec, 170 secs
lola: 81426018 markings, 132489820 edges, 429043 markings/sec, 175 secs
lola: 83547466 markings, 135974753 edges, 424290 markings/sec, 180 secs
lola: 85722022 markings, 139518749 edges, 434911 markings/sec, 185 secs
lola: 87820697 markings, 142968181 edges, 419735 markings/sec, 190 secs
lola: 89940134 markings, 146435242 edges, 423887 markings/sec, 195 secs
lola: 91971994 markings, 149798846 edges, 406372 markings/sec, 200 secs
lola: 94090018 markings, 153270639 edges, 423605 markings/sec, 205 secs
lola: 96158759 markings, 156690222 edges, 413748 markings/sec, 210 secs
lola: 98264525 markings, 160129115 edges, 421153 markings/sec, 215 secs
lola: 100346629 markings, 163551430 edges, 416421 markings/sec, 220 secs
lola: 102510426 markings, 167071983 edges, 432759 markings/sec, 225 secs
lola: 104607040 markings, 170521062 edges, 419323 markings/sec, 230 secs
lola: 106647894 markings, 173903098 edges, 408171 markings/sec, 235 secs
lola: 108728443 markings, 177331779 edges, 416110 markings/sec, 240 secs
lola: 110742994 markings, 180673769 edges, 402910 markings/sec, 245 secs
lola: 112781660 markings, 184045866 edges, 407733 markings/sec, 250 secs
lola: 114806997 markings, 187388153 edges, 405067 markings/sec, 255 secs
lola: 116971323 markings, 190917519 edges, 432865 markings/sec, 260 secs
lola: 119016627 markings, 194300805 edges, 409061 markings/sec, 265 secs
lola: 121034619 markings, 197639797 edges, 403598 markings/sec, 270 secs
lola: 123046612 markings, 200967240 edges, 402399 markings/sec, 275 secs
lola: 125064549 markings, 204315274 edges, 403587 markings/sec, 280 secs
lola: 127057278 markings, 207603894 edges, 398546 markings/sec, 285 secs
lola: 129030996 markings, 210889673 edges, 394744 markings/sec, 290 secs
lola: 130560502 markings, 213422539 edges, 305901 markings/sec, 295 secs
lola: 130628610 markings, 213528428 edges, 13622 markings/sec, 300 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 447 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-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: 2742665 markings, 4328171 edges, 548533 markings/sec, 0 secs
lola: 5301850 markings, 8421052 edges, 511837 markings/sec, 5 secs
lola: 7826323 markings, 12452249 edges, 504895 markings/sec, 10 secs
lola: 10318801 markings, 16453136 edges, 498496 markings/sec, 15 secs
lola: 12716905 markings, 20317567 edges, 479621 markings/sec, 20 secs
lola: 15098679 markings, 24180018 edges, 476355 markings/sec, 25 secs
lola: 17472046 markings, 28016057 edges, 474673 markings/sec, 30 secs
lola: 19858334 markings, 31857965 edges, 477258 markings/sec, 35 secs
lola: 22166910 markings, 35597229 edges, 461715 markings/sec, 40 secs
lola: 24521458 markings, 39390391 edges, 470910 markings/sec, 45 secs
lola: 26782375 markings, 43087459 edges, 452183 markings/sec, 50 secs
lola: 29084233 markings, 46819549 edges, 460372 markings/sec, 55 secs
lola: 31368881 markings, 50538763 edges, 456930 markings/sec, 60 secs
lola: 33680432 markings, 54308749 edges, 462310 markings/sec, 65 secs
lola: 35972155 markings, 58060104 edges, 458345 markings/sec, 70 secs
lola: 38230204 markings, 61732449 edges, 451610 markings/sec, 75 secs
lola: 40436757 markings, 65347048 edges, 441311 markings/sec, 80 secs
lola: 42699004 markings, 69014764 edges, 452449 markings/sec, 85 secs
lola: 44882588 markings, 72589362 edges, 436717 markings/sec, 90 secs
lola: 47051932 markings, 76151507 edges, 433869 markings/sec, 95 secs
lola: 49319918 markings, 79836358 edges, 453597 markings/sec, 100 secs
lola: 51515331 markings, 83425571 edges, 439083 markings/sec, 105 secs
lola: 53704998 markings, 87000887 edges, 437933 markings/sec, 110 secs
lola: 55905738 markings, 90589008 edges, 440148 markings/sec, 115 secs
lola: 58128560 markings, 94215630 edges, 444564 markings/sec, 120 secs
lola: 60300144 markings, 97767539 edges, 434317 markings/sec, 125 secs
lola: 62409511 markings, 101240007 edges, 421873 markings/sec, 130 secs
lola: 64542358 markings, 104745849 edges, 426569 markings/sec, 135 secs
lola: 66674243 markings, 108242719 edges, 426377 markings/sec, 140 secs
lola: 68778936 markings, 111698268 edges, 420939 markings/sec, 145 secs
lola: 70902635 markings, 115195571 edges, 424740 markings/sec, 150 secs
lola: 73047056 markings, 118707597 edges, 428884 markings/sec, 155 secs
lola: 75222951 markings, 122267887 edges, 435179 markings/sec, 160 secs
lola: 77331384 markings, 125740889 edges, 421687 markings/sec, 165 secs
lola: 79425985 markings, 129199135 edges, 418920 markings/sec, 170 secs
lola: 81577503 markings, 132737862 edges, 430304 markings/sec, 175 secs
lola: 83682178 markings, 136203430 edges, 420935 markings/sec, 180 secs
lola: 85848757 markings, 139727893 edges, 433316 markings/sec, 185 secs
lola: 87940686 markings, 143169472 edges, 418386 markings/sec, 190 secs
lola: 90048051 markings, 146612415 edges, 421473 markings/sec, 195 secs
lola: 92086432 markings, 149984103 edges, 407676 markings/sec, 200 secs
lola: 94178755 markings, 153420525 edges, 418465 markings/sec, 205 secs
lola: 96248404 markings, 156838093 edges, 413930 markings/sec, 210 secs
lola: 98382584 markings, 160320431 edges, 426836 markings/sec, 215 secs
lola: 100459907 markings, 163737286 edges, 415465 markings/sec, 220 secs
lola: 102607896 markings, 167231774 edges, 429598 markings/sec, 225 secs
lola: 104695701 markings, 170666806 edges, 417561 markings/sec, 230 secs
lola: 106735144 markings, 174046167 edges, 407889 markings/sec, 235 secs
lola: 108803276 markings, 177460362 edges, 413626 markings/sec, 240 secs
lola: 110830223 markings, 180820735 edges, 405389 markings/sec, 245 secs
lola: 112882398 markings, 184209150 edges, 410435 markings/sec, 250 secs
lola: 114912614 markings, 187562617 edges, 406043 markings/sec, 255 secs
lola: 117069144 markings, 191080255 edges, 431306 markings/sec, 260 secs
lola: 119114766 markings, 194462853 edges, 409124 markings/sec, 265 secs
lola: 121127838 markings, 197795209 edges, 402614 markings/sec, 270 secs
lola: 123146022 markings, 201133585 edges, 403637 markings/sec, 275 secs
lola: 125181457 markings, 204505412 edges, 407087 markings/sec, 280 secs
lola: 127165950 markings, 207792442 edges, 396899 markings/sec, 285 secs
lola: 129155359 markings, 211096989 edges, 397882 markings/sec, 290 secs
lola: 130532270 markings, 213374978 edges, 275382 markings/sec, 295 secs
lola: 130566948 markings, 213429584 edges, 6936 markings/sec, 300 secs
lola: 130624945 markings, 213522257 edges, 11599 markings/sec, 305 secs
lola: 130643140 markings, 213551428 edges, 3639 markings/sec, 310 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 479 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPgStarP3P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPgStarP3P2)
lola: processed formula length: 26
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: 1935135 markings, 3796579 edges, 387027 markings/sec, 0 secs
lola: 3667600 markings, 7382557 edges, 346493 markings/sec, 5 secs
lola: 5299926 markings, 10803319 edges, 326465 markings/sec, 10 secs
lola: 6886991 markings, 14182031 edges, 317413 markings/sec, 15 secs
lola: 8361719 markings, 17359982 edges, 294946 markings/sec, 20 secs
lola: 9782940 markings, 20447625 edges, 284244 markings/sec, 25 secs
lola: 11185370 markings, 23500217 edges, 280486 markings/sec, 30 secs
lola: 12612232 markings, 26636527 edges, 285372 markings/sec, 35 secs
lola: 14016485 markings, 29735789 edges, 280851 markings/sec, 40 secs
lola: 15417361 markings, 32825184 edges, 280175 markings/sec, 45 secs
lola: 16805806 markings, 35905407 edges, 277689 markings/sec, 50 secs
lola: 18149639 markings, 38888562 edges, 268767 markings/sec, 55 secs
lola: 19514893 markings, 41932306 edges, 273051 markings/sec, 60 secs
lola: 20867922 markings, 44958648 edges, 270606 markings/sec, 65 secs
lola: 22213252 markings, 47962350 edges, 269066 markings/sec, 70 secs
lola: 23545155 markings, 50940934 edges, 266381 markings/sec, 75 secs
lola: 24862891 markings, 53895224 edges, 263547 markings/sec, 80 secs
lola: 26179009 markings, 56854955 edges, 263224 markings/sec, 85 secs
lola: 27483936 markings, 59790869 edges, 260985 markings/sec, 90 secs
lola: 28772979 markings, 62702602 edges, 257809 markings/sec, 95 secs
lola: 30064456 markings, 65619895 edges, 258295 markings/sec, 100 secs
lola: 31348327 markings, 68535830 edges, 256774 markings/sec, 105 secs
lola: 32616218 markings, 71411185 edges, 253578 markings/sec, 110 secs
lola: 33893058 markings, 74304667 edges, 255368 markings/sec, 115 secs
lola: 35163781 markings, 77188106 edges, 254145 markings/sec, 120 secs
lola: 36419859 markings, 80036046 edges, 251216 markings/sec, 125 secs
lola: 37674490 markings, 82906548 edges, 250926 markings/sec, 130 secs
lola: 38918124 markings, 85757137 edges, 248727 markings/sec, 135 secs
lola: 40169698 markings, 88607142 edges, 250315 markings/sec, 140 secs
lola: 41401606 markings, 91427991 edges, 246382 markings/sec, 145 secs
lola: 42631216 markings, 94241101 edges, 245922 markings/sec, 150 secs
lola: 43866920 markings, 97070181 edges, 247141 markings/sec, 155 secs
lola: 45094013 markings, 99891828 edges, 245419 markings/sec, 160 secs
lola: 46333197 markings, 102738766 edges, 247837 markings/sec, 165 secs
lola: 47536903 markings, 105518089 edges, 240741 markings/sec, 170 secs
lola: 48741951 markings, 108302062 edges, 241010 markings/sec, 175 secs
lola: 49951113 markings, 111086431 edges, 241832 markings/sec, 180 secs
lola: 51158426 markings, 113865949 edges, 241463 markings/sec, 185 secs
lola: 52360502 markings, 116653202 edges, 240415 markings/sec, 190 secs
lola: 53553259 markings, 119417181 edges, 238551 markings/sec, 195 secs
lola: 54745604 markings, 122177359 edges, 238469 markings/sec, 200 secs
lola: 55932148 markings, 124916260 edges, 237309 markings/sec, 205 secs
lola: 57136812 markings, 127712115 edges, 240933 markings/sec, 210 secs
lola: 58320067 markings, 130460578 edges, 236651 markings/sec, 215 secs
lola: 59519774 markings, 133257205 edges, 239941 markings/sec, 220 secs
lola: 60685181 markings, 135973651 edges, 233081 markings/sec, 225 secs
lola: 61854022 markings, 138688018 edges, 233768 markings/sec, 230 secs
lola: 63026194 markings, 141410934 edges, 234434 markings/sec, 235 secs
lola: 64157824 markings, 144047566 edges, 226326 markings/sec, 240 secs
lola: 65327513 markings, 146774488 edges, 233938 markings/sec, 245 secs
lola: 66480214 markings, 149465124 edges, 230540 markings/sec, 250 secs
lola: 67633073 markings, 152159480 edges, 230572 markings/sec, 255 secs
lola: 68769211 markings, 154822105 edges, 227228 markings/sec, 260 secs
lola: 69919695 markings, 157504456 edges, 230097 markings/sec, 265 secs
lola: 71062224 markings, 160179482 edges, 228506 markings/sec, 270 secs
lola: 72204758 markings, 162866387 edges, 228507 markings/sec, 275 secs
lola: 73356628 markings, 165556560 edges, 230374 markings/sec, 280 secs
lola: 74518894 markings, 168276192 edges, 232453 markings/sec, 285 secs
lola: 75669836 markings, 170964098 edges, 230188 markings/sec, 290 secs
lola: 76796954 markings, 173613118 edges, 225424 markings/sec, 295 secs
lola: 77926743 markings, 176268359 edges, 225958 markings/sec, 300 secs
lola: 79051949 markings, 178913388 edges, 225041 markings/sec, 305 secs
lola: 80175963 markings, 181553932 edges, 224803 markings/sec, 310 secs
lola: 81304786 markings, 184208679 edges, 225765 markings/sec, 315 secs
lola: 82416154 markings, 186823121 edges, 222274 markings/sec, 320 secs
lola: 83534767 markings, 189451160 edges, 223723 markings/sec, 325 secs
lola: 84641596 markings, 192063016 edges, 221366 markings/sec, 330 secs
lola: 85745861 markings, 194672757 edges, 220853 markings/sec, 335 secs
lola: 86866955 markings, 197304399 edges, 224219 markings/sec, 340 secs
lola: 87971574 markings, 199914414 edges, 220924 markings/sec, 345 secs
lola: 89079997 markings, 202522243 edges, 221685 markings/sec, 350 secs
lola: 90188239 markings, 205130173 edges, 221648 markings/sec, 355 secs
lola: 91296390 markings, 207732555 edges, 221630 markings/sec, 360 secs
lola: 92390705 markings, 210325005 edges, 218863 markings/sec, 365 secs
lola: 93484986 markings, 212913164 edges, 218856 markings/sec, 370 secs
lola: 94579217 markings, 215492286 edges, 218846 markings/sec, 375 secs
lola: 95676739 markings, 218094477 edges, 219504 markings/sec, 380 secs
lola: 96787567 markings, 220703090 edges, 222166 markings/sec, 385 secs
lola: 97883155 markings, 223301212 edges, 219118 markings/sec, 390 secs
lola: 98977056 markings, 225900498 edges, 218780 markings/sec, 395 secs
lola: 100076264 markings, 228504572 edges, 219842 markings/sec, 400 secs
lola: 101156878 markings, 231063297 edges, 216123 markings/sec, 405 secs
lola: 102235254 markings, 233622044 edges, 215675 markings/sec, 410 secs
lola: 103325809 markings, 236189641 edges, 218111 markings/sec, 415 secs
lola: 104413240 markings, 238766331 edges, 217486 markings/sec, 420 secs
lola: 105494037 markings, 241329829 edges, 216159 markings/sec, 425 secs
lola: 106578691 markings, 243892691 edges, 216931 markings/sec, 430 secs
lola: 107662372 markings, 246467356 edges, 216736 markings/sec, 435 secs
lola: 108737990 markings, 249033923 edges, 215124 markings/sec, 440 secs
lola: 109825434 markings, 251604338 edges, 217489 markings/sec, 445 secs
lola: 110907561 markings, 254161665 edges, 216425 markings/sec, 450 secs
lola: 111982079 markings, 256703232 edges, 214904 markings/sec, 455 secs
lola: 113051960 markings, 259237557 edges, 213976 markings/sec, 460 secs
lola: 114127479 markings, 261786401 edges, 215104 markings/sec, 465 secs
lola: 115199228 markings, 264324417 edges, 214350 markings/sec, 470 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 50 50 unknown 50 50 unknown 50 50 unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 479 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-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 740 markings, 982 edges
lola:
========================================
FORMULA Angiogenesis-PT-50-UpperBounds-13 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 719 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Pip2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Pip2)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 0 markings, 0 edges
lola: ========================================

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

FORMULA Angiogenesis-PT-50-UpperBounds-15 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGP3)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 2469951 markings, 3944313 edges, 493990 markings/sec, 0 secs
lola: 4715458 markings, 7596674 edges, 449101 markings/sec, 5 secs
lola: 6887320 markings, 11136306 edges, 434372 markings/sec, 10 secs
lola: 8991655 markings, 14572967 edges, 420867 markings/sec, 15 secs
lola: 11060297 markings, 17960535 edges, 413728 markings/sec, 20 secs
lola: 13071105 markings, 21269680 edges, 402162 markings/sec, 25 secs
lola: 15072764 markings, 24552620 edges, 400332 markings/sec, 30 secs
lola: 17030349 markings, 27778705 edges, 391517 markings/sec, 35 secs
lola: 18991397 markings, 31005749 edges, 392210 markings/sec, 40 secs
lola: 20938780 markings, 34209251 edges, 389477 markings/sec, 45 secs
lola: 22866390 markings, 37382629 edges, 385522 markings/sec, 50 secs
lola: 24774813 markings, 40531008 edges, 381685 markings/sec, 55 secs
lola: 26682273 markings, 43673206 edges, 381492 markings/sec, 60 secs
lola: 28582272 markings, 46804526 edges, 380000 markings/sec, 65 secs
lola: 30466932 markings, 49909666 edges, 376932 markings/sec, 70 secs
lola: 32350946 markings, 53018257 edges, 376803 markings/sec, 75 secs
lola: 34201011 markings, 56080768 edges, 370013 markings/sec, 80 secs
lola: 36053228 markings, 59132005 edges, 370443 markings/sec, 85 secs
lola: 37902885 markings, 62182689 edges, 369931 markings/sec, 90 secs
lola: 39708472 markings, 65182504 edges, 361117 markings/sec, 95 secs
lola: 41521935 markings, 68183601 edges, 362693 markings/sec, 100 secs
lola: 43367826 markings, 71223563 edges, 369178 markings/sec, 105 secs
lola: 45181533 markings, 74221794 edges, 362741 markings/sec, 110 secs
lola: 46994797 markings, 77216532 edges, 362653 markings/sec, 115 secs
lola: 48784361 markings, 80179604 edges, 357913 markings/sec, 120 secs
lola: 50591098 markings, 83158535 edges, 361347 markings/sec, 125 secs
lola: 52345570 markings, 86076051 edges, 350894 markings/sec, 130 secs
lola: 54104956 markings, 88989508 edges, 351877 markings/sec, 135 secs
lola: 55853520 markings, 91883264 edges, 349713 markings/sec, 140 secs
lola: 57607155 markings, 94790294 edges, 350727 markings/sec, 145 secs
lola: 59354344 markings, 97689409 edges, 349438 markings/sec, 150 secs
lola: 61109854 markings, 100606140 edges, 351102 markings/sec, 155 secs
lola: 62889593 markings, 103546037 edges, 355948 markings/sec, 160 secs
lola: 64649596 markings, 106459037 edges, 352001 markings/sec, 165 secs
lola: 66413553 markings, 109376589 edges, 352791 markings/sec, 170 secs
lola: 68151628 markings, 112255758 edges, 347615 markings/sec, 175 secs
lola: 69879148 markings, 115125994 edges, 345504 markings/sec, 180 secs
lola: 71576612 markings, 117936780 edges, 339493 markings/sec, 185 secs
lola: 73278494 markings, 120753804 edges, 340376 markings/sec, 190 secs
lola: 74915712 markings, 123467904 edges, 327444 markings/sec, 195 secs
lola: 76601448 markings, 126264932 edges, 337147 markings/sec, 200 secs
lola: 78325474 markings, 129113415 edges, 344805 markings/sec, 205 secs
lola: 80016735 markings, 131926025 edges, 338252 markings/sec, 210 secs
lola: 81701725 markings, 134731903 edges, 336998 markings/sec, 215 secs
lola: 83394001 markings, 137543690 edges, 338455 markings/sec, 220 secs
lola: 85113138 markings, 140393536 edges, 343827 markings/sec, 225 secs
lola: 86755148 markings, 143109529 edges, 328402 markings/sec, 230 secs
lola: 88385512 markings, 145810179 edges, 326073 markings/sec, 235 secs
lola: 90015089 markings, 148516445 edges, 325915 markings/sec, 240 secs
lola: 91667812 markings, 151261788 edges, 330545 markings/sec, 245 secs
lola: 93304596 markings, 153971012 edges, 327357 markings/sec, 250 secs
lola: 94969004 markings, 156723546 edges, 332882 markings/sec, 255 secs
lola: 96584621 markings, 159410760 edges, 323123 markings/sec, 260 secs
lola: 98172747 markings, 162032245 edges, 317625 markings/sec, 265 secs
lola: 99713662 markings, 164595322 edges, 308183 markings/sec, 270 secs
lola: 101251166 markings, 167154479 edges, 307501 markings/sec, 275 secs
lola: 102823455 markings, 169762961 edges, 314458 markings/sec, 280 secs
lola: 104419377 markings, 172406331 edges, 319184 markings/sec, 285 secs
lola: 105991073 markings, 175013486 edges, 314339 markings/sec, 290 secs
lola: 107603436 markings, 177701754 edges, 322473 markings/sec, 295 secs
lola: 109234038 markings, 180427083 edges, 326120 markings/sec, 300 secs
lola: 110920025 markings, 183211216 edges, 337197 markings/sec, 305 secs
lola: 112634196 markings, 186043547 edges, 342834 markings/sec, 310 secs
lola: 114330822 markings, 188859248 edges, 339325 markings/sec, 315 secs
lola: 116031873 markings, 191692750 edges, 340210 markings/sec, 320 secs
lola: 117672427 markings, 194421108 edges, 328111 markings/sec, 325 secs
lola: 119248750 markings, 197045059 edges, 315265 markings/sec, 330 secs
lola: 120808443 markings, 199633881 edges, 311939 markings/sec, 335 secs
lola: 122371467 markings, 202226715 edges, 312605 markings/sec, 340 secs
lola: 124077148 markings, 205056893 edges, 341136 markings/sec, 345 secs
lola: 125777768 markings, 207881092 edges, 340124 markings/sec, 350 secs
lola: 127499852 markings, 210732654 edges, 344417 markings/sec, 355 secs
lola: 129198242 markings, 213555034 edges, 339678 markings/sec, 360 secs
lola: 130894505 markings, 216364061 edges, 339253 markings/sec, 365 secs
lola: 132592932 markings, 219179731 edges, 339685 markings/sec, 370 secs
lola: 134284462 markings, 221982557 edges, 338306 markings/sec, 375 secs
lola: 135942776 markings, 224744723 edges, 331663 markings/sec, 380 secs
lola: 137614919 markings, 227530909 edges, 334429 markings/sec, 385 secs
lola: 139364289 markings, 230417068 edges, 349874 markings/sec, 390 secs
lola: 141035098 markings, 233201167 edges, 334162 markings/sec, 395 secs
lola: 142736200 markings, 236020150 edges, 340220 markings/sec, 400 secs
lola: 144396459 markings, 238800001 edges, 332052 markings/sec, 405 secs
lola: 146078302 markings, 241600913 edges, 336369 markings/sec, 410 secs
lola: 147741091 markings, 244371187 edges, 332558 markings/sec, 415 secs
lola: 149402277 markings, 247139083 edges, 332237 markings/sec, 420 secs
lola: 151071147 markings, 249920122 edges, 333774 markings/sec, 425 secs
lola: 152778194 markings, 252753370 edges, 341409 markings/sec, 430 secs
lola: 154459584 markings, 255547009 edges, 336278 markings/sec, 435 secs
lola: 156140261 markings, 258327921 edges, 336135 markings/sec, 440 secs
lola: 157826240 markings, 261130231 edges, 337196 markings/sec, 445 secs
lola: 159498401 markings, 263908649 edges, 334432 markings/sec, 450 secs
lola: 161168999 markings, 266691858 edges, 334120 markings/sec, 455 secs
lola: 162842419 markings, 269474344 edges, 334684 markings/sec, 460 secs
lola: 164499548 markings, 272219039 edges, 331426 markings/sec, 465 secs
lola: 166153542 markings, 274962240 edges, 330799 markings/sec, 470 secs
lola: 167820257 markings, 277723712 edges, 333343 markings/sec, 475 secs
lola: 169479617 markings, 280490345 edges, 331872 markings/sec, 480 secs
lola: 171134971 markings, 283250749 edges, 331071 markings/sec, 485 secs
lola: 172781640 markings, 285995334 edges, 329334 markings/sec, 490 secs
lola: 174437904 markings, 288746980 edges, 331253 markings/sec, 495 secs
lola: 176097582 markings, 291498103 edges, 331936 markings/sec, 500 secs
lola: 177764462 markings, 294251774 edges, 333376 markings/sec, 505 secs
lola: 179416570 markings, 296999644 edges, 330422 markings/sec, 510 secs
lola: 181044171 markings, 299716742 edges, 325520 markings/sec, 515 secs
lola: 182723423 markings, 302501778 edges, 335850 markings/sec, 520 secs
lola: 184354621 markings, 305202774 edges, 326240 markings/sec, 525 secs
lola: 186019537 markings, 307955017 edges, 332983 markings/sec, 530 secs
lola: 187691702 markings, 310723214 edges, 334433 markings/sec, 535 secs
lola: 189321245 markings, 313449405 edges, 325909 markings/sec, 540 secs
lola: 190969505 markings, 316199201 edges, 329652 markings/sec, 545 secs
lola: 192612885 markings, 318933820 edges, 328676 markings/sec, 550 secs
lola: 194260158 markings, 321676432 edges, 329455 markings/sec, 555 secs
lola: 195885195 markings, 324389967 edges, 325007 markings/sec, 560 secs
lola: 197522532 markings, 327117990 edges, 327467 markings/sec, 565 secs
lola: 199125074 markings, 329795969 edges, 320508 markings/sec, 570 secs
lola: 200748276 markings, 332496889 edges, 324640 markings/sec, 575 secs
lola: 202373945 markings, 335200153 edges, 325134 markings/sec, 580 secs
lola: 204025064 markings, 337933625 edges, 330224 markings/sec, 585 secs
lola: 205672612 markings, 340666838 edges, 329510 markings/sec, 590 secs
lola: 207293638 markings, 343371493 edges, 324205 markings/sec, 595 secs
lola: 208926162 markings, 346078851 edges, 326505 markings/sec, 600 secs
lola: 210553062 markings, 348788057 edges, 325380 markings/sec, 605 secs
lola: 212180267 markings, 351489215 edges, 325441 markings/sec, 610 secs
lola: 213808311 markings, 354192784 edges, 325609 markings/sec, 615 secs
lola: 215418890 markings, 356878589 edges, 322116 markings/sec, 620 secs
lola: 217035283 markings, 359570755 edges, 323279 markings/sec, 625 secs
lola: 218685083 markings, 362301272 edges, 329960 markings/sec, 630 secs
lola: 220331191 markings, 365037786 edges, 329222 markings/sec, 635 secs
lola: 221969891 markings, 367749637 edges, 327740 markings/sec, 640 secs
lola: 223587911 markings, 370441581 edges, 323604 markings/sec, 645 secs
lola: 223989250 markings, 371113815 edges, 80268 markings/sec, 650 secs
lola: 224011091 markings, 371149765 edges, 4368 markings/sec, 655 secs
lola: 224045328 markings, 371205703 edges, 6847 markings/sec, 660 secs
lola: 224055415 markings, 371222869 edges, 2017 markings/sec, 665 secs
lola: 224083476 markings, 371271202 edges, 5612 markings/sec, 670 secs
lola: 224117456 markings, 371326814 edges, 6796 markings/sec, 675 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA Angiogenesis-PT-50-UpperBounds-3 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-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 2775902 markings, 4658411 edges, 555180 markings/sec, 0 secs
lola: 5246946 markings, 8884194 edges, 494209 markings/sec, 5 secs
lola: 7270421 markings, 12464614 edges, 404695 markings/sec, 10 secs
lola: 9189388 markings, 15898674 edges, 383793 markings/sec, 15 secs
lola: 11033519 markings, 19224317 edges, 368826 markings/sec, 20 secs
lola: 12748153 markings, 22335777 edges, 342927 markings/sec, 25 secs
lola: 14441724 markings, 25414253 edges, 338714 markings/sec, 30 secs
lola: 16107989 markings, 28441781 edges, 333253 markings/sec, 35 secs
lola: 17749291 markings, 31449770 edges, 328260 markings/sec, 40 secs
lola: 19383644 markings, 34438903 edges, 326871 markings/sec, 45 secs
lola: 21031456 markings, 37460391 edges, 329562 markings/sec, 50 secs
lola: 22638630 markings, 40427667 edges, 321435 markings/sec, 55 secs
lola: 24274055 markings, 43432745 edges, 327085 markings/sec, 60 secs
lola: 25871482 markings, 46368973 edges, 319485 markings/sec, 65 secs
lola: 27467930 markings, 49294668 edges, 319290 markings/sec, 70 secs
lola: 29119816 markings, 52341775 edges, 330377 markings/sec, 75 secs
lola: 31085826 markings, 55848403 edges, 393202 markings/sec, 80 secs
lola: 32739697 markings, 58897393 edges, 330774 markings/sec, 85 secs
lola: 34367439 markings, 61900262 edges, 325548 markings/sec, 90 secs
lola: 36165309 markings, 65157898 edges, 359574 markings/sec, 95 secs
lola: 37862655 markings, 68283205 edges, 339469 markings/sec, 100 secs
lola: 39431640 markings, 71214286 edges, 313797 markings/sec, 105 secs
lola: 41046404 markings, 74201102 edges, 322953 markings/sec, 110 secs
lola: 42668416 markings, 77212014 edges, 324402 markings/sec, 115 secs
lola: 44512683 markings, 80534877 edges, 368853 markings/sec, 120 secs
lola: 46101747 markings, 83489906 edges, 317813 markings/sec, 125 secs
lola: 47712727 markings, 86472822 edges, 322196 markings/sec, 130 secs
lola: 49309327 markings, 89440836 edges, 319320 markings/sec, 135 secs
lola: 50851923 markings, 92333282 edges, 308519 markings/sec, 140 secs
lola: 52421773 markings, 95262724 edges, 313970 markings/sec, 145 secs
lola: 53994778 markings, 98198501 edges, 314601 markings/sec, 150 secs
lola: 55553587 markings, 101101557 edges, 311762 markings/sec, 155 secs
lola: 57102209 markings, 103986307 edges, 309724 markings/sec, 160 secs
lola: 58619971 markings, 106820717 edges, 303552 markings/sec, 165 secs
lola: 60117804 markings, 109627853 edges, 299567 markings/sec, 170 secs
lola: 61633761 markings, 112469996 edges, 303191 markings/sec, 175 secs
lola: 63147626 markings, 115299839 edges, 302773 markings/sec, 180 secs
lola: 64657598 markings, 118118980 edges, 301994 markings/sec, 185 secs
lola: 66173584 markings, 120967493 edges, 303197 markings/sec, 190 secs
lola: 67704671 markings, 123841773 edges, 306217 markings/sec, 195 secs
lola: 69237304 markings, 126705870 edges, 306527 markings/sec, 200 secs
lola: 70778501 markings, 129579649 edges, 308239 markings/sec, 205 secs
lola: 72277595 markings, 132420308 edges, 299819 markings/sec, 210 secs
lola: 73783953 markings, 135252561 edges, 301272 markings/sec, 215 secs
lola: 75318547 markings, 138118364 edges, 306919 markings/sec, 220 secs
lola: 76829690 markings, 140963391 edges, 302229 markings/sec, 225 secs
lola: 78336013 markings, 143791664 edges, 301265 markings/sec, 230 secs
lola: 79827073 markings, 146598491 edges, 298212 markings/sec, 235 secs
lola: 81361708 markings, 149459198 edges, 306927 markings/sec, 240 secs
lola: 83153698 markings, 152700522 edges, 358398 markings/sec, 245 secs
lola: 84651696 markings, 155510987 edges, 299600 markings/sec, 250 secs
lola: 86133231 markings, 158311873 edges, 296307 markings/sec, 255 secs
lola: 87645316 markings, 161144929 edges, 302417 markings/sec, 260 secs
lola: 89145892 markings, 163959412 edges, 300115 markings/sec, 265 secs
lola: 90644534 markings, 166767885 edges, 299728 markings/sec, 270 secs
lola: 92253732 markings, 169741028 edges, 321840 markings/sec, 275 secs
lola: 93756093 markings, 172557120 edges, 300472 markings/sec, 280 secs
lola: 95365312 markings, 175536656 edges, 321844 markings/sec, 285 secs
lola: 96843725 markings, 178316260 edges, 295683 markings/sec, 290 secs
lola: 98327093 markings, 181101492 edges, 296674 markings/sec, 295 secs
lola: 99804944 markings, 183881928 edges, 295570 markings/sec, 300 secs
lola: 101256073 markings, 186620419 edges, 290226 markings/sec, 305 secs
lola: 102707011 markings, 189357472 edges, 290188 markings/sec, 310 secs
lola: 104160152 markings, 192093872 edges, 290628 markings/sec, 315 secs
lola: 105622074 markings, 194844201 edges, 292384 markings/sec, 320 secs
lola: 107059662 markings, 197557808 edges, 287518 markings/sec, 325 secs
lola: 108468676 markings, 200245922 edges, 281803 markings/sec, 330 secs
lola: 109958449 markings, 203037353 edges, 297955 markings/sec, 335 secs
lola: 111410773 markings, 205777817 edges, 290465 markings/sec, 340 secs
lola: 112871449 markings, 208528818 edges, 292135 markings/sec, 345 secs
lola: 114334308 markings, 211280898 edges, 292572 markings/sec, 350 secs
lola: 115794803 markings, 214025397 edges, 292099 markings/sec, 355 secs
lola: 117232779 markings, 216744547 edges, 287595 markings/sec, 360 secs
lola: 118673826 markings, 219475824 edges, 288209 markings/sec, 365 secs
lola: 120122621 markings, 222207815 edges, 289759 markings/sec, 370 secs
lola: 121574178 markings, 224943547 edges, 290311 markings/sec, 375 secs
lola: 123001332 markings, 227657204 edges, 285431 markings/sec, 380 secs
lola: 124445291 markings, 230379007 edges, 288792 markings/sec, 385 secs
lola: 125884363 markings, 233089850 edges, 287814 markings/sec, 390 secs
lola: 127376569 markings, 235876498 edges, 298441 markings/sec, 395 secs
lola: 128813273 markings, 238600184 edges, 287341 markings/sec, 400 secs
lola: 130246620 markings, 241327964 edges, 286669 markings/sec, 405 secs
lola: 131639041 markings, 243984648 edges, 278484 markings/sec, 410 secs
lola: 133039326 markings, 246660474 edges, 280057 markings/sec, 415 secs
lola: 134474900 markings, 249379678 edges, 287115 markings/sec, 420 secs
lola: 135923532 markings, 252113958 edges, 289726 markings/sec, 425 secs
lola: 137401518 markings, 254880972 edges, 295597 markings/sec, 430 secs
lola: 138838045 markings, 257598915 edges, 287305 markings/sec, 435 secs
lola: 140269683 markings, 260305423 edges, 286328 markings/sec, 440 secs
lola: 141690002 markings, 262993341 edges, 284064 markings/sec, 445 secs
lola: 143124899 markings, 265694589 edges, 286979 markings/sec, 450 secs
lola: 144553137 markings, 268394338 edges, 285648 markings/sec, 455 secs
lola: 145960168 markings, 271079856 edges, 281406 markings/sec, 460 secs
lola: 147384739 markings, 273779927 edges, 284914 markings/sec, 465 secs
lola: 148819958 markings, 276486463 edges, 287044 markings/sec, 470 secs
lola: 150236995 markings, 279180883 edges, 283407 markings/sec, 475 secs
lola: 151608255 markings, 281804577 edges, 274252 markings/sec, 480 secs
lola: 153013457 markings, 284468871 edges, 281040 markings/sec, 485 secs
lola: 154432149 markings, 287148973 edges, 283738 markings/sec, 490 secs
lola: 155850816 markings, 289834928 edges, 283733 markings/sec, 495 secs
lola: 157259402 markings, 292507686 edges, 281717 markings/sec, 500 secs
lola: 158664331 markings, 295179772 edges, 280986 markings/sec, 505 secs
lola: 160075787 markings, 297848776 edges, 282291 markings/sec, 510 secs
lola: 161484428 markings, 300519089 edges, 281728 markings/sec, 515 secs
lola: 162510486 markings, 302467957 edges, 205212 markings/sec, 520 secs
lola: 162538938 markings, 302523104 edges, 5690 markings/sec, 525 secs
lola: 162544199 markings, 302533591 edges, 1052 markings/sec, 530 secs
lola: 162550205 markings, 302544901 edges, 1201 markings/sec, 535 secs
lola: 162564274 markings, 302572465 edges, 2814 markings/sec, 540 secs
lola: 162586885 markings, 302615067 edges, 4522 markings/sec, 545 secs
lola: 162595549 markings, 302631543 edges, 1733 markings/sec, 550 secs
lola: 162608821 markings, 302654961 edges, 2654 markings/sec, 555 secs
lola: 162623470 markings, 302682069 edges, 2930 markings/sec, 560 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA Angiogenesis-PT-50-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
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-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 2236436 markings, 4115779 edges, 447287 markings/sec, 0 secs
lola: 4380574 markings, 8106229 edges, 428828 markings/sec, 5 secs
lola: 6479460 markings, 12045382 edges, 419777 markings/sec, 10 secs
lola: 8525181 markings, 15906471 edges, 409144 markings/sec, 15 secs
lola: 10517218 markings, 19702052 edges, 398407 markings/sec, 20 secs
lola: 12450728 markings, 23426972 edges, 386702 markings/sec, 25 secs
lola: 14349573 markings, 27114988 edges, 379769 markings/sec, 30 secs
lola: 16237937 markings, 30784599 edges, 377673 markings/sec, 35 secs
lola: 18107497 markings, 34418382 edges, 373912 markings/sec, 40 secs
lola: 19984503 markings, 38067970 edges, 375401 markings/sec, 45 secs
lola: 21867551 markings, 41728402 edges, 376610 markings/sec, 50 secs
lola: 23695629 markings, 45337107 edges, 365616 markings/sec, 55 secs
lola: 25515117 markings, 48926535 edges, 363898 markings/sec, 60 secs
lola: 27284066 markings, 52449449 edges, 353790 markings/sec, 65 secs
lola: 29050650 markings, 55967050 edges, 353317 markings/sec, 70 secs
lola: 30747425 markings, 59408266 edges, 339355 markings/sec, 75 secs
lola: 32497433 markings, 62903727 edges, 350002 markings/sec, 80 secs
lola: 34280489 markings, 66442476 edges, 356611 markings/sec, 85 secs
lola: 36007889 markings, 69905964 edges, 345480 markings/sec, 90 secs
lola: 37743806 markings, 73394891 edges, 347183 markings/sec, 95 secs
lola: 39509896 markings, 76921736 edges, 353218 markings/sec, 100 secs
lola: 41169449 markings, 80312236 edges, 331911 markings/sec, 105 secs
lola: 42858460 markings, 83736660 edges, 337802 markings/sec, 110 secs
lola: 44524168 markings, 87145043 edges, 333142 markings/sec, 115 secs
lola: 46291617 markings, 90622206 edges, 353490 markings/sec, 120 secs
lola: 47925198 markings, 93971476 edges, 326716 markings/sec, 125 secs
lola: 49614672 markings, 97384975 edges, 337895 markings/sec, 130 secs
lola: 51233297 markings, 100711049 edges, 323725 markings/sec, 135 secs
lola: 52851151 markings, 103982911 edges, 323571 markings/sec, 140 secs
lola: 54412732 markings, 107145965 edges, 312316 markings/sec, 145 secs
lola: 56019680 markings, 110390766 edges, 321390 markings/sec, 150 secs
lola: 57618239 markings, 113665155 edges, 319712 markings/sec, 155 secs
lola: 59282140 markings, 116990853 edges, 332780 markings/sec, 160 secs
lola: 60908118 markings, 120305091 edges, 325196 markings/sec, 165 secs
lola: 62445197 markings, 123472304 edges, 307416 markings/sec, 170 secs
lola: 64075786 markings, 126807506 edges, 326118 markings/sec, 175 secs
lola: time limit reached - aborting
lola:
preliminary result: 50 50 50 unknown 50 50 unknown 50 50 unknown unknown unknown unknown 50 50 50
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: 50 50 50 unknown 50 50 unknown 50 50 unknown unknown unknown unknown 50 50 50

preliminary result: 50 50 50 unknown 50 50 unknown 50 50 unknown unknown unknown unknown 50 50 50
lola: memory consumption: 6953196 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 50 50 unknown 50 50 unknown 50 50 unknown unknown unknown unknown 50 50 50
lola: memory consumption: 6953196 KB
lola: time consumption: 3570 seconds

BK_STOP 1552403578924

--------------------
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-50"
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-50, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r022-csrt-155225094400019"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Angiogenesis-PT-50.tgz
mv Angiogenesis-PT-50 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 ;