fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Execution of r022-csrt-155225094400007
Last Updated
Apr 15, 2019

About the Execution of 2018-Gold for Angiogenesis-PT-10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15916.960 3570683.00 3683413.00 2403.80 10 ? 10 10 10 ? 10 10 ? 10 ? 10 5 10 ? 10 normal

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 176K
-rw-r--r-- 1 mcc users 3.2K Feb 9 06:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 9 06:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 5 03:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 5 03:33 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.5K Feb 4 22:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.5K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Feb 2 00:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Feb 2 00:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 29 11:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 29 11:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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-10-UpperBounds-00
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-01
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-02
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-03
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-04
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-05
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-06
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-07
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-08
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-09
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-10
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-11
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-12
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-13
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-14
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552400008307

info: Time: 3600 - MCC
===========================================================================================
prep: translating Angiogenesis-PT-10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Angiogenesis-PT-10 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Angiogenesis-PT-10 @ 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-10-UpperBounds.task
lola: MAX(KdStarPgStarP2) : MAX(GStarPgP3) : MAX(KdStar) : MAX(KdStarG) : MAX(AktStar) : MAX(PtP3) : MAX(KdStarGStarPgStar) : MAX(Gab1) : MAX(GStarP3) : MAX(Gab1) : MAX(GP3) : MAX(Pip2) : MAX(KdStarGStarP3kStarP3P2) : MAX(DAG) : MAX(PtP3) : MAX(Gab1)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarPgStarP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarPgStarP2)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 31 markings, 39 edges
lola: ========================================

FORMULA Angiogenesis-PT-10-UpperBounds-0 10 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(GStarPgP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GStarPgP3)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 1804118 markings, 3761322 edges, 360824 markings/sec, 0 secs
lola: 3234533 markings, 6850089 edges, 286083 markings/sec, 5 secs
lola: 4612540 markings, 9864139 edges, 275601 markings/sec, 10 secs
lola: 5987220 markings, 12898128 edges, 274936 markings/sec, 15 secs
lola: 7220766 markings, 15642577 edges, 246709 markings/sec, 20 secs
lola: 8582662 markings, 18678363 edges, 272379 markings/sec, 25 secs
lola: 9893281 markings, 21615754 edges, 262124 markings/sec, 30 secs
lola: 11168497 markings, 24499427 edges, 255043 markings/sec, 35 secs
lola: 12402649 markings, 27290347 edges, 246830 markings/sec, 40 secs
lola: 13719615 markings, 30274804 edges, 263393 markings/sec, 45 secs
lola: 15003037 markings, 33204689 edges, 256684 markings/sec, 50 secs
lola: 16238338 markings, 36039954 edges, 247060 markings/sec, 55 secs
lola: 17474229 markings, 38883579 edges, 247178 markings/sec, 60 secs
lola: 18696872 markings, 41713114 edges, 244529 markings/sec, 65 secs
lola: 20036244 markings, 44812908 edges, 267874 markings/sec, 70 secs
lola: 21425618 markings, 48027103 edges, 277875 markings/sec, 75 secs
lola: 22755927 markings, 51120815 edges, 266062 markings/sec, 80 secs
lola: 24080375 markings, 54211773 edges, 264890 markings/sec, 85 secs
lola: 25417661 markings, 57334623 edges, 267457 markings/sec, 90 secs
lola: 26739773 markings, 60430005 edges, 264422 markings/sec, 95 secs
lola: 28058419 markings, 63515770 edges, 263729 markings/sec, 100 secs
lola: 29366827 markings, 66583143 edges, 261682 markings/sec, 105 secs
lola: 30659004 markings, 69638582 edges, 258435 markings/sec, 110 secs
lola: 31950019 markings, 72680236 edges, 258203 markings/sec, 115 secs
lola: 33234098 markings, 75722874 edges, 256816 markings/sec, 120 secs
lola: 34496605 markings, 78727734 edges, 252501 markings/sec, 125 secs
lola: 35758473 markings, 81724373 edges, 252374 markings/sec, 130 secs
lola: 37023380 markings, 84718170 edges, 252981 markings/sec, 135 secs
lola: 38292906 markings, 87734217 edges, 253905 markings/sec, 140 secs
lola: 39561423 markings, 90749417 edges, 253703 markings/sec, 145 secs
lola: 40798723 markings, 93716488 edges, 247460 markings/sec, 150 secs
lola: 42057723 markings, 96711625 edges, 251800 markings/sec, 155 secs
lola: 43308567 markings, 99701816 edges, 250169 markings/sec, 160 secs
lola: 44544327 markings, 102670572 edges, 247152 markings/sec, 165 secs
lola: 45782256 markings, 105634529 edges, 247586 markings/sec, 170 secs
lola: 47013226 markings, 108587548 edges, 246194 markings/sec, 175 secs
lola: 48246658 markings, 111539222 edges, 246686 markings/sec, 180 secs
lola: 49464652 markings, 114487213 edges, 243599 markings/sec, 185 secs
lola: 50690454 markings, 117431544 edges, 245160 markings/sec, 190 secs
lola: 51953140 markings, 120464949 edges, 252537 markings/sec, 195 secs
lola: 53189231 markings, 123457198 edges, 247218 markings/sec, 200 secs
lola: 54411810 markings, 126407652 edges, 244516 markings/sec, 205 secs
lola: 55638675 markings, 129364955 edges, 245373 markings/sec, 210 secs
lola: 56832963 markings, 132263597 edges, 238858 markings/sec, 215 secs
lola: 58053304 markings, 135201387 edges, 244068 markings/sec, 220 secs
lola: 59267486 markings, 138131546 edges, 242836 markings/sec, 225 secs
lola: 60455694 markings, 141039266 edges, 237642 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6618292 KB
lola: time consumption: 238 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStar)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================

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

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

FORMULA Angiogenesis-PT-10-UpperBounds-4 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 302 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-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2116026 markings, 3980285 edges, 423205 markings/sec, 0 secs
lola: 3775374 markings, 7257004 edges, 331870 markings/sec, 5 secs
lola: 5318131 markings, 10379845 edges, 308551 markings/sec, 10 secs
lola: 6805099 markings, 13447012 edges, 297394 markings/sec, 15 secs
lola: 8366790 markings, 16706053 edges, 312338 markings/sec, 20 secs
lola: 9783767 markings, 19696670 edges, 283395 markings/sec, 25 secs
lola: 11164143 markings, 22627075 edges, 276075 markings/sec, 30 secs
lola: 12533307 markings, 25555216 edges, 273833 markings/sec, 35 secs
lola: 14022105 markings, 28759576 edges, 297760 markings/sec, 40 secs
lola: 15531149 markings, 32017034 edges, 301809 markings/sec, 45 secs
lola: 16945141 markings, 35109031 edges, 282798 markings/sec, 50 secs
lola: 18287523 markings, 38050839 edges, 268476 markings/sec, 55 secs
lola: 19619079 markings, 40970394 edges, 266311 markings/sec, 60 secs
lola: 20938341 markings, 43883903 edges, 263852 markings/sec, 65 secs
lola: 22232814 markings, 46757856 edges, 258895 markings/sec, 70 secs
lola: 23527738 markings, 49624730 edges, 258985 markings/sec, 75 secs
lola: 24813352 markings, 52473409 edges, 257123 markings/sec, 80 secs
lola: 26086934 markings, 55311529 edges, 254716 markings/sec, 85 secs
lola: 27359786 markings, 58158149 edges, 254570 markings/sec, 90 secs
lola: 28605375 markings, 60980967 edges, 249118 markings/sec, 95 secs
lola: 29867874 markings, 63844945 edges, 252500 markings/sec, 100 secs
lola: 31154693 markings, 66751474 edges, 257364 markings/sec, 105 secs
lola: 32438960 markings, 69649764 edges, 256853 markings/sec, 110 secs
lola: 33718163 markings, 72541629 edges, 255841 markings/sec, 115 secs
lola: 34978291 markings, 75413599 edges, 252026 markings/sec, 120 secs
lola: 36210855 markings, 78211673 edges, 246513 markings/sec, 125 secs
lola: 37476953 markings, 81113407 edges, 253220 markings/sec, 130 secs
lola: 38762349 markings, 84044453 edges, 257079 markings/sec, 135 secs
lola: 40006018 markings, 86891700 edges, 248734 markings/sec, 140 secs
lola: 41256657 markings, 89744801 edges, 250128 markings/sec, 145 secs
lola: 42492810 markings, 92582483 edges, 247231 markings/sec, 150 secs
lola: 43722618 markings, 95412281 edges, 245962 markings/sec, 155 secs
lola: 44957270 markings, 98274353 edges, 246930 markings/sec, 160 secs
lola: 46174860 markings, 101092882 edges, 243518 markings/sec, 165 secs
lola: 47419335 markings, 103952732 edges, 248895 markings/sec, 170 secs
lola: 48644911 markings, 106789344 edges, 245115 markings/sec, 175 secs
lola: 49872239 markings, 109629382 edges, 245466 markings/sec, 180 secs
lola: 51110624 markings, 112479324 edges, 247677 markings/sec, 185 secs
lola: 52317016 markings, 115270161 edges, 241278 markings/sec, 190 secs
lola: 53533384 markings, 118100217 edges, 243274 markings/sec, 195 secs
lola: 54728878 markings, 120913263 edges, 239099 markings/sec, 200 secs
lola: 55936036 markings, 123733929 edges, 241432 markings/sec, 205 secs
lola: 57136494 markings, 126543399 edges, 240092 markings/sec, 210 secs
lola: 58323277 markings, 129332340 edges, 237357 markings/sec, 215 secs
lola: 59516610 markings, 132115920 edges, 238667 markings/sec, 220 secs
lola: 60706409 markings, 134899131 edges, 237960 markings/sec, 225 secs
lola: 61900777 markings, 137673666 edges, 238874 markings/sec, 230 secs
lola: 63067258 markings, 140428378 edges, 233296 markings/sec, 235 secs
lola: 64228061 markings, 143154668 edges, 232161 markings/sec, 240 secs
lola: 65387947 markings, 145897108 edges, 231977 markings/sec, 245 secs
lola: 66556869 markings, 148634926 edges, 233784 markings/sec, 250 secs
lola: 67704620 markings, 151358737 edges, 229550 markings/sec, 255 secs
lola: 68865357 markings, 154084925 edges, 232147 markings/sec, 260 secs
lola: 70010377 markings, 156797299 edges, 229004 markings/sec, 265 secs
lola: 71148131 markings, 159499424 edges, 227551 markings/sec, 270 secs
lola: 72304045 markings, 162218891 edges, 231183 markings/sec, 275 secs
lola: 73441215 markings, 164928565 edges, 227434 markings/sec, 280 secs
lola: 74579879 markings, 167631944 edges, 227733 markings/sec, 285 secs
lola: 75706080 markings, 170317924 edges, 225240 markings/sec, 290 secs
lola: 76828463 markings, 173006537 edges, 224477 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 unknown 10 10 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 8373532 KB
lola: time consumption: 541 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 302 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-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 71 markings, 80 edges
lola: ========================================

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

FORMULA Angiogenesis-PT-10-UpperBounds-7 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GStarP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GStarP3)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 1849854 markings, 4206778 edges, 369971 markings/sec, 0 secs
lola: 3555499 markings, 8198561 edges, 341129 markings/sec, 5 secs
lola: 5213404 markings, 12108637 edges, 331581 markings/sec, 10 secs
lola: 6820800 markings, 15923454 edges, 321479 markings/sec, 15 secs
lola: 8388337 markings, 19655053 edges, 313507 markings/sec, 20 secs
lola: 9905759 markings, 23292466 edges, 303484 markings/sec, 25 secs
lola: 11437613 markings, 26987206 edges, 306371 markings/sec, 30 secs
lola: 12954976 markings, 30644242 edges, 303473 markings/sec, 35 secs
lola: 14460733 markings, 34289703 edges, 301151 markings/sec, 40 secs
lola: 15949546 markings, 37904766 edges, 297763 markings/sec, 45 secs
lola: 17428992 markings, 41504506 edges, 295889 markings/sec, 50 secs
lola: 18894020 markings, 45080795 edges, 293006 markings/sec, 55 secs
lola: 20350644 markings, 48639426 edges, 291325 markings/sec, 60 secs
lola: 21801967 markings, 52184376 edges, 290265 markings/sec, 65 secs
lola: 23224018 markings, 55694097 edges, 284410 markings/sec, 70 secs
lola: 24639643 markings, 59192898 edges, 283125 markings/sec, 75 secs
lola: 26055888 markings, 62701783 edges, 283249 markings/sec, 80 secs
lola: 27466472 markings, 66171754 edges, 282117 markings/sec, 85 secs
lola: 28872211 markings, 69638133 edges, 281148 markings/sec, 90 secs
lola: 30270490 markings, 73087674 edges, 279656 markings/sec, 95 secs
lola: 31682493 markings, 76559039 edges, 282401 markings/sec, 100 secs
lola: 33060165 markings, 79985251 edges, 275534 markings/sec, 105 secs
lola: 34441171 markings, 83421803 edges, 276201 markings/sec, 110 secs
lola: 35825186 markings, 86847720 edges, 276803 markings/sec, 115 secs
lola: 37186232 markings, 90241043 edges, 272209 markings/sec, 120 secs
lola: 38563465 markings, 93676998 edges, 275447 markings/sec, 125 secs
lola: 39931100 markings, 97078835 edges, 273527 markings/sec, 130 secs
lola: 41290977 markings, 100472083 edges, 271975 markings/sec, 135 secs
lola: 42653695 markings, 103861660 edges, 272544 markings/sec, 140 secs
lola: 44009053 markings, 107239020 edges, 271072 markings/sec, 145 secs
lola: 45349593 markings, 110587538 edges, 268108 markings/sec, 150 secs
lola: 46695447 markings, 113954106 edges, 269171 markings/sec, 155 secs
lola: 48025585 markings, 117285870 edges, 266028 markings/sec, 160 secs
lola: 49361446 markings, 120631150 edges, 267172 markings/sec, 165 secs
lola: 50685133 markings, 123965711 edges, 264737 markings/sec, 170 secs
lola: 52016344 markings, 127305951 edges, 266242 markings/sec, 175 secs
lola: 53332305 markings, 130623225 edges, 263192 markings/sec, 180 secs
lola: 54646041 markings, 133936303 edges, 262747 markings/sec, 185 secs
lola: 55965912 markings, 137260456 edges, 263974 markings/sec, 190 secs
lola: 57287573 markings, 140591324 edges, 264332 markings/sec, 195 secs
lola: 58601485 markings, 143907847 edges, 262782 markings/sec, 200 secs
lola: 59910370 markings, 147217722 edges, 261777 markings/sec, 205 secs
lola: 61206825 markings, 150480679 edges, 259291 markings/sec, 210 secs
lola: 62505700 markings, 153774639 edges, 259775 markings/sec, 215 secs
lola: 63814466 markings, 157079114 edges, 261753 markings/sec, 220 secs
lola: 65121409 markings, 160387815 edges, 261389 markings/sec, 225 secs
lola: 66411074 markings, 163673554 edges, 257933 markings/sec, 230 secs
lola: 67724598 markings, 166984911 edges, 262705 markings/sec, 235 secs
lola: 69024692 markings, 170281111 edges, 260019 markings/sec, 240 secs
lola: 70315394 markings, 173563298 edges, 258140 markings/sec, 245 secs
lola: 71602191 markings, 176836623 edges, 257359 markings/sec, 250 secs
lola: 72883728 markings, 180085466 edges, 256307 markings/sec, 255 secs
lola: 74158440 markings, 183348640 edges, 254942 markings/sec, 260 secs
lola: 75446630 markings, 186619398 edges, 257638 markings/sec, 265 secs
lola: 76729286 markings, 189883305 edges, 256531 markings/sec, 270 secs
lola: 78009425 markings, 193124312 edges, 256028 markings/sec, 275 secs
lola: 79281580 markings, 196381264 edges, 254431 markings/sec, 280 secs
lola: 80556656 markings, 199621890 edges, 255015 markings/sec, 285 secs
lola: 81816612 markings, 202837633 edges, 251991 markings/sec, 290 secs
lola: 83085875 markings, 206057483 edges, 253853 markings/sec, 295 secs
lola: 84360493 markings, 209293128 edges, 254924 markings/sec, 300 secs
lola: 85604178 markings, 212468463 edges, 248737 markings/sec, 305 secs
lola: 86868405 markings, 215682304 edges, 252845 markings/sec, 310 secs
lola: 88125179 markings, 218887655 edges, 251355 markings/sec, 315 secs
lola: 89357564 markings, 222039420 edges, 246477 markings/sec, 320 secs
lola: 90610415 markings, 225249230 edges, 250570 markings/sec, 325 secs
lola: 91863317 markings, 228455316 edges, 250580 markings/sec, 330 secs
lola: 93090357 markings, 231601349 edges, 245408 markings/sec, 335 secs
lola: 94336839 markings, 234795911 edges, 249296 markings/sec, 340 secs
lola: 95575237 markings, 237975204 edges, 247680 markings/sec, 345 secs
lola: 96813915 markings, 241167106 edges, 247736 markings/sec, 350 secs
lola: 98049226 markings, 244342080 edges, 247062 markings/sec, 355 secs
lola: 99297002 markings, 247539919 edges, 249555 markings/sec, 360 secs
lola: 100544535 markings, 250738286 edges, 249507 markings/sec, 365 secs
lola: 101771919 markings, 253891172 edges, 245477 markings/sec, 370 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 unknown 10 10 10 unknown 10 10 unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Gab1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Gab1)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Angiogenesis-PT-10-UpperBounds-9 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 441 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GP3)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2081159 markings, 3683976 edges, 416232 markings/sec, 0 secs
lola: 3971632 markings, 7108115 edges, 378095 markings/sec, 5 secs
lola: 5767437 markings, 10422841 edges, 359161 markings/sec, 10 secs
lola: 7511453 markings, 13677362 edges, 348803 markings/sec, 15 secs
lola: 9214081 markings, 16876419 edges, 340526 markings/sec, 20 secs
lola: 10883683 markings, 20034982 edges, 333920 markings/sec, 25 secs
lola: 12532614 markings, 23165086 edges, 329786 markings/sec, 30 secs
lola: 14195088 markings, 26344262 edges, 332495 markings/sec, 35 secs
lola: 15845089 markings, 29509228 edges, 330000 markings/sec, 40 secs
lola: 17468446 markings, 32634846 edges, 324671 markings/sec, 45 secs
lola: 19076236 markings, 35746415 edges, 321558 markings/sec, 50 secs
lola: 20647603 markings, 38798288 edges, 314273 markings/sec, 55 secs
lola: 22226568 markings, 41856942 edges, 315793 markings/sec, 60 secs
lola: 23769831 markings, 44883093 edges, 308653 markings/sec, 65 secs
lola: 25305840 markings, 47909616 edges, 307202 markings/sec, 70 secs
lola: 26842235 markings, 50923339 edges, 307279 markings/sec, 75 secs
lola: 28358947 markings, 53923161 edges, 303342 markings/sec, 80 secs
lola: 29878703 markings, 56930032 edges, 303951 markings/sec, 85 secs
lola: 31380432 markings, 59910289 edges, 300346 markings/sec, 90 secs
lola: 32889645 markings, 62873644 edges, 301843 markings/sec, 95 secs
lola: 34397770 markings, 65836526 edges, 301625 markings/sec, 100 secs
lola: 35877514 markings, 68785203 edges, 295949 markings/sec, 105 secs
lola: 37369429 markings, 71741223 edges, 298383 markings/sec, 110 secs
lola: 38832845 markings, 74671761 edges, 292683 markings/sec, 115 secs
lola: 40295958 markings, 77588967 edges, 292623 markings/sec, 120 secs
lola: 41733407 markings, 80494328 edges, 287490 markings/sec, 125 secs
lola: 43194852 markings, 83410588 edges, 292289 markings/sec, 130 secs
lola: 44640666 markings, 86315742 edges, 289163 markings/sec, 135 secs
lola: 46090304 markings, 89199674 edges, 289928 markings/sec, 140 secs
lola: 47515873 markings, 92059568 edges, 285114 markings/sec, 145 secs
lola: 48936781 markings, 94937965 edges, 284182 markings/sec, 150 secs
lola: 50366137 markings, 97805940 edges, 285871 markings/sec, 155 secs
lola: 51802708 markings, 100684672 edges, 287314 markings/sec, 160 secs
lola: 53229277 markings, 103543149 edges, 285314 markings/sec, 165 secs
lola: 54625471 markings, 106383859 edges, 279239 markings/sec, 170 secs
lola: 56007312 markings, 109209040 edges, 276368 markings/sec, 175 secs
lola: 57398133 markings, 112031555 edges, 278164 markings/sec, 180 secs
lola: 58786349 markings, 114834427 edges, 277643 markings/sec, 185 secs
lola: 60156768 markings, 117616489 edges, 274084 markings/sec, 190 secs
lola: 61545125 markings, 120405008 edges, 277671 markings/sec, 195 secs
lola: 62926944 markings, 123195879 edges, 276364 markings/sec, 200 secs
lola: 64303758 markings, 125991122 edges, 275363 markings/sec, 205 secs
lola: 65705854 markings, 128809700 edges, 280419 markings/sec, 210 secs
lola: 67100793 markings, 131620972 edges, 278988 markings/sec, 215 secs
lola: 68463770 markings, 134397210 edges, 272595 markings/sec, 220 secs
lola: 69843912 markings, 137188358 edges, 276028 markings/sec, 225 secs
lola: 71221537 markings, 139966802 edges, 275525 markings/sec, 230 secs
lola: 72585804 markings, 142726369 edges, 272853 markings/sec, 235 secs
lola: 73934872 markings, 145472723 edges, 269814 markings/sec, 240 secs
lola: 75272404 markings, 148218887 edges, 267506 markings/sec, 245 secs
lola: 76621644 markings, 150962813 edges, 269848 markings/sec, 250 secs
lola: 77977862 markings, 153729930 edges, 271244 markings/sec, 255 secs
lola: 79325114 markings, 156477610 edges, 269450 markings/sec, 260 secs
lola: 80646399 markings, 159199565 edges, 264257 markings/sec, 265 secs
lola: 81983203 markings, 161943555 edges, 267361 markings/sec, 270 secs
lola: 83313711 markings, 164679493 edges, 266102 markings/sec, 275 secs
lola: 84642780 markings, 167416230 edges, 265814 markings/sec, 280 secs
lola: 85968544 markings, 170151389 edges, 265153 markings/sec, 285 secs
lola: 87290810 markings, 172862176 edges, 264453 markings/sec, 290 secs
lola: 88626973 markings, 175598332 edges, 267233 markings/sec, 295 secs
lola: 89952513 markings, 178311546 edges, 265108 markings/sec, 300 secs
lola: 91275859 markings, 181023551 edges, 264669 markings/sec, 305 secs
lola: 92615818 markings, 183746366 edges, 267992 markings/sec, 310 secs
lola: 93956854 markings, 186463567 edges, 268207 markings/sec, 315 secs
lola: 95273384 markings, 189184510 edges, 263306 markings/sec, 320 secs
lola: 96589109 markings, 191880901 edges, 263145 markings/sec, 325 secs
lola: 97898067 markings, 194570081 edges, 261792 markings/sec, 330 secs
lola: 99180366 markings, 197220157 edges, 256460 markings/sec, 335 secs
lola: 100467721 markings, 199881203 edges, 257471 markings/sec, 340 secs
lola: 101764812 markings, 202553306 edges, 259418 markings/sec, 345 secs
lola: 103065741 markings, 205242295 edges, 260186 markings/sec, 350 secs
lola: 104359559 markings, 207919212 edges, 258764 markings/sec, 355 secs
lola: 105664972 markings, 210601254 edges, 261083 markings/sec, 360 secs
lola: 106957262 markings, 213263354 edges, 258458 markings/sec, 365 secs
lola: 108253109 markings, 215931425 edges, 259169 markings/sec, 370 secs
lola: 109534957 markings, 218587644 edges, 256370 markings/sec, 375 secs
lola: 110814382 markings, 221245793 edges, 255885 markings/sec, 380 secs
lola: 112095631 markings, 223894106 edges, 256250 markings/sec, 385 secs
lola: 113350477 markings, 226513584 edges, 250969 markings/sec, 390 secs
lola: 114613840 markings, 229157562 edges, 252673 markings/sec, 395 secs
lola: 115888932 markings, 231793604 edges, 255018 markings/sec, 400 secs
lola: 117177447 markings, 234443717 edges, 257703 markings/sec, 405 secs
lola: 118444951 markings, 237085625 edges, 253501 markings/sec, 410 secs
lola: 119699086 markings, 239718114 edges, 250827 markings/sec, 415 secs
lola: 120981525 markings, 242374401 edges, 256488 markings/sec, 420 secs
lola: 122242412 markings, 245012594 edges, 252177 markings/sec, 425 secs
lola: 123494359 markings, 247636699 edges, 250389 markings/sec, 430 secs
lola: 124740760 markings, 250245106 edges, 249280 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 unknown 10 10 10 unknown 10 10 unknown 10 unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 441 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Pip2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Pip2)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================

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

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

FORMULA Angiogenesis-PT-10-UpperBounds-13 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1104 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-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2112547 markings, 3973073 edges, 422509 markings/sec, 0 secs
lola: 3962735 markings, 7630067 edges, 370038 markings/sec, 5 secs
lola: 5709390 markings, 11179868 edges, 349331 markings/sec, 10 secs
lola: 7375773 markings, 14636305 edges, 333277 markings/sec, 15 secs
lola: 8993789 markings, 18026059 edges, 323603 markings/sec, 20 secs
lola: 10549026 markings, 21324517 edges, 311047 markings/sec, 25 secs
lola: 12099917 markings, 24623801 edges, 310178 markings/sec, 30 secs
lola: 13615888 markings, 27881444 edges, 303194 markings/sec, 35 secs
lola: 15116062 markings, 31111603 edges, 300035 markings/sec, 40 secs
lola: 16579099 markings, 34302075 edges, 292607 markings/sec, 45 secs
lola: 18035190 markings, 37497653 edges, 291218 markings/sec, 50 secs
lola: 19475704 markings, 40657263 edges, 288103 markings/sec, 55 secs
lola: 20897761 markings, 43792400 edges, 284411 markings/sec, 60 secs
lola: 22297825 markings, 46898188 edges, 280013 markings/sec, 65 secs
lola: 23696893 markings, 49996270 edges, 279814 markings/sec, 70 secs
lola: 25090087 markings, 53085505 edges, 278639 markings/sec, 75 secs
lola: 26464726 markings, 56156671 edges, 274928 markings/sec, 80 secs
lola: 27822029 markings, 59203050 edges, 271461 markings/sec, 85 secs
lola: 29153723 markings, 62223346 edges, 266339 markings/sec, 90 secs
lola: 30483441 markings, 65244839 edges, 265944 markings/sec, 95 secs
lola: 31816146 markings, 68245023 edges, 266541 markings/sec, 100 secs
lola: 33137804 markings, 71235835 edges, 264332 markings/sec, 105 secs
lola: 34448450 markings, 74208892 edges, 262129 markings/sec, 110 secs
lola: 35756688 markings, 77169985 edges, 261648 markings/sec, 115 secs
lola: 37044957 markings, 80121919 edges, 257654 markings/sec, 120 secs
lola: 38332014 markings, 83062501 edges, 257411 markings/sec, 125 secs
lola: 39614086 markings, 85990785 edges, 256414 markings/sec, 130 secs
lola: 40879526 markings, 88893216 edges, 253088 markings/sec, 135 secs
lola: 42143086 markings, 91795343 edges, 252712 markings/sec, 140 secs
lola: 43408268 markings, 94686742 edges, 253036 markings/sec, 145 secs
lola: 44650574 markings, 97566850 edges, 248461 markings/sec, 150 secs
lola: 45896230 markings, 100446780 edges, 249131 markings/sec, 155 secs
lola: 47142160 markings, 103314943 edges, 249186 markings/sec, 160 secs
lola: 48378200 markings, 106174166 edges, 247208 markings/sec, 165 secs
lola: 49614993 markings, 109028765 edges, 247359 markings/sec, 170 secs
lola: 50856695 markings, 111892656 edges, 248340 markings/sec, 175 secs
lola: 52086089 markings, 114739920 edges, 245879 markings/sec, 180 secs
lola: 53308923 markings, 117576657 edges, 244567 markings/sec, 185 secs
lola: 54511125 markings, 120391320 edges, 240440 markings/sec, 190 secs
lola: 55709349 markings, 123207839 edges, 239645 markings/sec, 195 secs
lola: 56918752 markings, 126038721 edges, 241881 markings/sec, 200 secs
lola: 58116848 markings, 128843330 edges, 239619 markings/sec, 205 secs
lola: 59317109 markings, 131648254 edges, 240052 markings/sec, 210 secs
lola: 60505138 markings, 134434599 edges, 237606 markings/sec, 215 secs
lola: 61709011 markings, 137229010 edges, 240775 markings/sec, 220 secs
lola: 62891988 markings, 140014621 edges, 236595 markings/sec, 225 secs
lola: 64072817 markings, 142792162 edges, 236166 markings/sec, 230 secs
lola: 65246748 markings, 145569270 edges, 234786 markings/sec, 235 secs
lola: 66447742 markings, 148377454 edges, 240199 markings/sec, 240 secs
lola: 67603169 markings, 151120415 edges, 231085 markings/sec, 245 secs
lola: 68772143 markings, 153861122 edges, 233795 markings/sec, 250 secs
lola: 69930819 markings, 156609635 edges, 231735 markings/sec, 255 secs
lola: 71081579 markings, 159344480 edges, 230152 markings/sec, 260 secs
lola: 72249536 markings, 162086493 edges, 233591 markings/sec, 265 secs
lola: 73390209 markings, 164811815 edges, 228135 markings/sec, 270 secs
lola: 74543734 markings, 167550064 edges, 230705 markings/sec, 275 secs
lola: 75693716 markings, 170286307 edges, 229996 markings/sec, 280 secs
lola: 76821873 markings, 172990757 edges, 225631 markings/sec, 285 secs
lola: 77962789 markings, 175688890 edges, 228183 markings/sec, 290 secs
lola: 79091598 markings, 178377222 edges, 225762 markings/sec, 295 secs
lola: 80220431 markings, 181063639 edges, 225767 markings/sec, 300 secs
lola: 81350328 markings, 183752196 edges, 225979 markings/sec, 305 secs
lola: 82486133 markings, 186456278 edges, 227161 markings/sec, 310 secs
lola: 83629240 markings, 189149476 edges, 228621 markings/sec, 315 secs
lola: 84746835 markings, 191825549 edges, 223519 markings/sec, 320 secs
lola: 85873023 markings, 194501861 edges, 225238 markings/sec, 325 secs
lola: 86984555 markings, 197172814 edges, 222306 markings/sec, 330 secs
lola: 88094335 markings, 199839739 edges, 221956 markings/sec, 335 secs
lola: 89203445 markings, 202488390 edges, 221822 markings/sec, 340 secs
lola: 90306218 markings, 205129193 edges, 220555 markings/sec, 345 secs
lola: 91416577 markings, 207777809 edges, 222072 markings/sec, 350 secs
lola: 92520003 markings, 210421523 edges, 220685 markings/sec, 355 secs
lola: 93619961 markings, 213070325 edges, 219992 markings/sec, 360 secs
lola: 94718916 markings, 215718535 edges, 219791 markings/sec, 365 secs
lola: 95814471 markings, 218375022 edges, 219111 markings/sec, 370 secs
lola: 96889284 markings, 221009639 edges, 214963 markings/sec, 375 secs
lola: 97993898 markings, 223650427 edges, 220923 markings/sec, 380 secs
lola: 99077023 markings, 226272553 edges, 216625 markings/sec, 385 secs
lola: 100174268 markings, 228890667 edges, 219449 markings/sec, 390 secs
lola: 101230161 markings, 231458238 edges, 211179 markings/sec, 395 secs
lola: 102299133 markings, 234045897 edges, 213794 markings/sec, 400 secs
lola: 103381128 markings, 236659922 edges, 216399 markings/sec, 405 secs
lola: 104458981 markings, 239267663 edges, 215571 markings/sec, 410 secs
lola: 105539318 markings, 241861113 edges, 216067 markings/sec, 415 secs
lola: 106606918 markings, 244456202 edges, 213520 markings/sec, 420 secs
lola: 107667515 markings, 247059224 edges, 212119 markings/sec, 425 secs
lola: 108747377 markings, 249667424 edges, 215972 markings/sec, 430 secs
lola: 109821969 markings, 252258943 edges, 214918 markings/sec, 435 secs
lola: 110881009 markings, 254829644 edges, 211808 markings/sec, 440 secs
lola: 111940729 markings, 257398452 edges, 211944 markings/sec, 445 secs
lola: 112996437 markings, 259960410 edges, 211142 markings/sec, 450 secs
lola: 114057517 markings, 262525410 edges, 212216 markings/sec, 455 secs
lola: 115113507 markings, 265092653 edges, 211198 markings/sec, 460 secs
lola: 116165384 markings, 267650284 edges, 210375 markings/sec, 465 secs
lola: 117227020 markings, 270226928 edges, 212327 markings/sec, 470 secs
lola: 118271598 markings, 272777277 edges, 208916 markings/sec, 475 secs
lola: 119314661 markings, 275327360 edges, 208613 markings/sec, 480 secs
lola: 120349912 markings, 277860534 edges, 207050 markings/sec, 485 secs
lola: 121394055 markings, 280400888 edges, 208829 markings/sec, 490 secs
lola: 122417973 markings, 282938941 edges, 204784 markings/sec, 495 secs
lola: 123444842 markings, 285466222 edges, 205374 markings/sec, 500 secs
lola: 124485012 markings, 287993059 edges, 208034 markings/sec, 505 secs
lola: 125519908 markings, 290515558 edges, 206979 markings/sec, 510 secs
lola: 126550739 markings, 293039886 edges, 206166 markings/sec, 515 secs
lola: 127578051 markings, 295562079 edges, 205462 markings/sec, 520 secs
lola: 128623831 markings, 298097388 edges, 209156 markings/sec, 525 secs
lola: 129647709 markings, 300599771 edges, 204776 markings/sec, 530 secs
lola: 130683460 markings, 303126354 edges, 207150 markings/sec, 535 secs
lola: 131703481 markings, 305627554 edges, 204004 markings/sec, 540 secs
lola: 132715708 markings, 308123406 edges, 202445 markings/sec, 545 secs
lola: 133734167 markings, 310628625 edges, 203692 markings/sec, 550 secs
lola: 134731417 markings, 313111235 edges, 199450 markings/sec, 555 secs
lola: 135728422 markings, 315581892 edges, 199401 markings/sec, 560 secs
lola: 136732911 markings, 318072231 edges, 200898 markings/sec, 565 secs
lola: 137747017 markings, 320563452 edges, 202821 markings/sec, 570 secs
lola: 138761599 markings, 323068413 edges, 202916 markings/sec, 575 secs
lola: 139784182 markings, 325582056 edges, 204517 markings/sec, 580 secs
lola: 140775029 markings, 328077518 edges, 198169 markings/sec, 585 secs
lola: 141786886 markings, 330573064 edges, 202371 markings/sec, 590 secs
lola: 142804557 markings, 333071580 edges, 203534 markings/sec, 595 secs
lola: 143809768 markings, 335557453 edges, 201042 markings/sec, 600 secs
lola: 144817523 markings, 338035532 edges, 201551 markings/sec, 605 secs
lola: 145817969 markings, 340511404 edges, 200089 markings/sec, 610 secs
lola: 146826258 markings, 342989789 edges, 201658 markings/sec, 615 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1585 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Gab1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Gab1)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola:
FORMULA Angiogenesis-PT-10-UpperBounds-15 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(GStarPgP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GStarPgP3)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
========================================
lola: 1799656 markings, 3752524 edges, 359931 markings/sec, 0 secs
lola: 3467330 markings, 7356141 edges, 333535 markings/sec, 5 secs
lola: 5069250 markings, 10871683 edges, 320384 markings/sec, 10 secs
lola: 6595720 markings, 14256486 edges, 305294 markings/sec, 15 secs
lola: 8118006 markings, 17636892 edges, 304457 markings/sec, 20 secs
lola: 9601979 markings, 20966285 edges, 296795 markings/sec, 25 secs
lola: 11068966 markings, 24272590 edges, 293397 markings/sec, 30 secs
lola: 12514984 markings, 27543122 edges, 289204 markings/sec, 35 secs
lola: 13956840 markings, 30812419 edges, 288371 markings/sec, 40 secs
lola: 15362549 markings, 34040057 edges, 281142 markings/sec, 45 secs
lola: 16764461 markings, 37245089 edges, 280382 markings/sec, 50 secs
lola: 18148719 markings, 40434774 edges, 276852 markings/sec, 55 secs
lola: 19519621 markings, 43604019 edges, 274180 markings/sec, 60 secs
lola: 20885804 markings, 46761242 edges, 273237 markings/sec, 65 secs
lola: 22227332 markings, 49897696 edges, 268306 markings/sec, 70 secs
lola: 23566484 markings, 53018436 edges, 267830 markings/sec, 75 secs
lola: 24910487 markings, 56146255 edges, 268801 markings/sec, 80 secs
lola: 26248776 markings, 59284829 edges, 267658 markings/sec, 85 secs
lola: 27583091 markings, 62403441 edges, 266863 markings/sec, 90 secs
lola: 28900130 markings, 65493530 edges, 263408 markings/sec, 95 secs
lola: 30203624 markings, 68565478 edges, 260699 markings/sec, 100 secs
lola: 31509042 markings, 71644720 edges, 261084 markings/sec, 105 secs
lola: 32811016 markings, 74723600 edges, 260395 markings/sec, 110 secs
lola: 34102029 markings, 77787466 edges, 258203 markings/sec, 115 secs
lola: 35383326 markings, 80829333 edges, 256259 markings/sec, 120 secs
lola: 36667400 markings, 83859391 edges, 256815 markings/sec, 125 secs
lola: 37946303 markings, 86902902 edges, 255781 markings/sec, 130 secs
lola: 39224536 markings, 89948009 edges, 255647 markings/sec, 135 secs
lola: 40494492 markings, 92976036 edges, 253991 markings/sec, 140 secs
lola: 41756084 markings, 95997311 edges, 252318 markings/sec, 145 secs
lola: 43022816 markings, 99024174 edges, 253346 markings/sec, 150 secs
lola: 44278600 markings, 102030605 edges, 251157 markings/sec, 155 secs
lola: 45540091 markings, 105046219 edges, 252298 markings/sec, 160 secs
lola: 46770063 markings, 108004954 edges, 245994 markings/sec, 165 secs
lola: 48012376 markings, 110982318 edges, 248463 markings/sec, 170 secs
lola: 49244393 markings, 113955772 edges, 246403 markings/sec, 175 secs
lola: 50482773 markings, 116931086 edges, 247676 markings/sec, 180 secs
lola: 51716884 markings, 119891843 edges, 246822 markings/sec, 185 secs
lola: 52936057 markings, 122850897 edges, 243835 markings/sec, 190 secs
lola: 54142725 markings, 125757418 edges, 241334 markings/sec, 195 secs
lola: 55357297 markings, 128699624 edges, 242914 markings/sec, 200 secs
lola: 56582893 markings, 131649016 edges, 245119 markings/sec, 205 secs
lola: 57804519 markings, 134591590 edges, 244325 markings/sec, 210 secs
lola: 59017788 markings, 137529473 edges, 242654 markings/sec, 215 secs
lola: 60212024 markings, 140448656 edges, 238847 markings/sec, 220 secs
lola: 61423869 markings, 143378207 edges, 242369 markings/sec, 225 secs
lola: 62625809 markings, 146309001 edges, 240388 markings/sec, 230 secs
lola: 63828384 markings, 149236862 edges, 240515 markings/sec, 235 secs
lola: 65034359 markings, 152163142 edges, 241195 markings/sec, 240 secs
lola: 66222814 markings, 155054355 edges, 237691 markings/sec, 245 secs
lola: 67400959 markings, 157953614 edges, 235629 markings/sec, 250 secs
lola: 68594644 markings, 160862802 edges, 238737 markings/sec, 255 secs
lola: 69776095 markings, 163766299 edges, 236290 markings/sec, 260 secs
lola: 70961401 markings, 166660509 edges, 237061 markings/sec, 265 secs
lola: 72150845 markings, 169552496 edges, 237889 markings/sec, 270 secs
lola: 73339509 markings, 172478924 edges, 237733 markings/sec, 275 secs
lola: 74520500 markings, 175370772 edges, 236198 markings/sec, 280 secs
lola: 75702336 markings, 178265174 edges, 236367 markings/sec, 285 secs
lola: 76873098 markings, 181162013 edges, 234152 markings/sec, 290 secs
lola: 78037844 markings, 184026648 edges, 232949 markings/sec, 295 secs
lola: 79225607 markings, 186912028 edges, 237553 markings/sec, 300 secs
lola: 80396051 markings, 189797661 edges, 234089 markings/sec, 305 secs
lola: 81570734 markings, 192682806 edges, 234937 markings/sec, 310 secs
lola: 82728756 markings, 195550431 edges, 231604 markings/sec, 315 secs
lola: 83893730 markings, 198415089 edges, 232995 markings/sec, 320 secs
lola: 85057648 markings, 201289203 edges, 232784 markings/sec, 325 secs
lola: 86214336 markings, 204157969 edges, 231338 markings/sec, 330 secs
lola: 87376449 markings, 207010714 edges, 232423 markings/sec, 335 secs
lola: 88540072 markings, 209872731 edges, 232725 markings/sec, 340 secs
lola: 89702535 markings, 212736507 edges, 232493 markings/sec, 345 secs
lola: 90853148 markings, 215586165 edges, 230123 markings/sec, 350 secs
lola: 92011021 markings, 218444807 edges, 231575 markings/sec, 355 secs
lola: 93154631 markings, 221296553 edges, 228722 markings/sec, 360 secs
lola: 94292771 markings, 224122291 edges, 227628 markings/sec, 365 secs
lola: 95422696 markings, 226928254 edges, 225985 markings/sec, 370 secs
lola: 96544974 markings, 229688168 edges, 224456 markings/sec, 375 secs
lola: 97645754 markings, 232434765 edges, 220156 markings/sec, 380 secs
lola: 98740440 markings, 235137155 edges, 218937 markings/sec, 385 secs
lola: 99862351 markings, 237929828 edges, 224382 markings/sec, 390 secs
lola: 100983756 markings, 240727692 edges, 224281 markings/sec, 395 secs
lola: 102093005 markings, 243511661 edges, 221850 markings/sec, 400 secs
lola: 103210869 markings, 246315313 edges, 223573 markings/sec, 405 secs
lola: 104286176 markings, 248982496 edges, 215061 markings/sec, 410 secs
lola: 105308872 markings, 251528298 edges, 204539 markings/sec, 415 secs
lola: 106325678 markings, 254072760 edges, 203361 markings/sec, 420 secs
lola: 107350495 markings, 256609105 edges, 204963 markings/sec, 425 secs
lola: 108364226 markings, 259140178 edges, 202746 markings/sec, 430 secs
lola: 109374395 markings, 261668195 edges, 202034 markings/sec, 435 secs
lola: 110454492 markings, 264367166 edges, 216019 markings/sec, 440 secs
lola: 111571618 markings, 267164912 edges, 223425 markings/sec, 445 secs
lola: 112693909 markings, 269975415 edges, 224458 markings/sec, 450 secs
lola: 113810218 markings, 272760852 edges, 223262 markings/sec, 455 secs
lola: 114932485 markings, 275564118 edges, 224453 markings/sec, 460 secs
lola: 116043042 markings, 278353270 edges, 222111 markings/sec, 465 secs
lola: 117117602 markings, 281043010 edges, 214912 markings/sec, 470 secs
lola: 118138361 markings, 283568034 edges, 204152 markings/sec, 475 secs
lola: 119126061 markings, 286091296 edges, 197540 markings/sec, 480 secs
lola: 120132345 markings, 288617765 edges, 201257 markings/sec, 485 secs
lola: 121204872 markings, 291323602 edges, 214505 markings/sec, 490 secs
lola: 122288770 markings, 294038835 edges, 216780 markings/sec, 495 secs
lola: 123369430 markings, 296756172 edges, 216132 markings/sec, 500 secs
lola: 124462652 markings, 299492320 edges, 218644 markings/sec, 505 secs
lola: 125561728 markings, 302273691 edges, 219815 markings/sec, 510 secs
lola: 126663511 markings, 305057518 edges, 220357 markings/sec, 515 secs
lola: 127766275 markings, 307825339 edges, 220553 markings/sec, 520 secs
lola: 128871340 markings, 310596596 edges, 221013 markings/sec, 525 secs
lola: 129976526 markings, 313364674 edges, 221037 markings/sec, 530 secs
lola: 131079812 markings, 316142000 edges, 220657 markings/sec, 535 secs
lola: 132167565 markings, 318901080 edges, 217551 markings/sec, 540 secs
lola: 133265893 markings, 321667409 edges, 219666 markings/sec, 545 secs
lola: 134341480 markings, 324398795 edges, 215117 markings/sec, 550 secs
lola: 135414035 markings, 327106703 edges, 214511 markings/sec, 555 secs
lola: 136507178 markings, 329868604 edges, 218629 markings/sec, 560 secs
lola: 137588413 markings, 332615838 edges, 216247 markings/sec, 565 secs
lola: 138654815 markings, 335315227 edges, 213280 markings/sec, 570 secs
lola: 139740725 markings, 338029650 edges, 217182 markings/sec, 575 secs
lola: 140824433 markings, 340765529 edges, 216742 markings/sec, 580 secs
lola: 141898461 markings, 343501409 edges, 214806 markings/sec, 585 secs
lola: 142981951 markings, 346256992 edges, 216698 markings/sec, 590 secs
lola: 144054254 markings, 348973940 edges, 214461 markings/sec, 595 secs
lola: 145128869 markings, 351698303 edges, 214923 markings/sec, 600 secs
lola: 146201308 markings, 354413085 edges, 214488 markings/sec, 605 secs
lola: 146531851 markings, 355247281 edges, 66109 markings/sec, 610 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA Angiogenesis-PT-10-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
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-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2074859 markings, 3899456 edges, 414972 markings/sec, 0 secs
lola: 3916398 markings, 7537819 edges, 368308 markings/sec, 5 secs
lola: 5627893 markings, 11014174 edges, 342299 markings/sec, 10 secs
lola: 7239110 markings, 14351218 edges, 322243 markings/sec, 15 secs
lola: 8850501 markings, 17722982 edges, 322278 markings/sec, 20 secs
lola: 10426693 markings, 21063824 edges, 315238 markings/sec, 25 secs
lola: 11973807 markings, 24354353 edges, 309423 markings/sec, 30 secs
lola: 13493428 markings, 27619030 edges, 303924 markings/sec, 35 secs
lola: 14991665 markings, 30843950 edges, 299647 markings/sec, 40 secs
lola: 16458820 markings, 34038499 edges, 293431 markings/sec, 45 secs
lola: 17905055 markings, 37212228 edges, 289247 markings/sec, 50 secs
lola: 19343251 markings, 40367123 edges, 287639 markings/sec, 55 secs
lola: 20766218 markings, 43496277 edges, 284593 markings/sec, 60 secs
lola: 22159032 markings, 46591731 edges, 278563 markings/sec, 65 secs
lola: 23544206 markings, 49661559 edges, 277035 markings/sec, 70 secs
lola: 24921191 markings, 52714016 edges, 275397 markings/sec, 75 secs
lola: 26291527 markings, 55769062 edges, 274067 markings/sec, 80 secs
lola: 27651266 markings, 58815552 edges, 271948 markings/sec, 85 secs
lola: 28987372 markings, 61837700 edges, 267221 markings/sec, 90 secs
lola: 30314814 markings, 64859199 edges, 265488 markings/sec, 95 secs
lola: 31639717 markings, 67850695 edges, 264981 markings/sec, 100 secs
lola: 32960728 markings, 70835344 edges, 264202 markings/sec, 105 secs
lola: 34273343 markings, 73806387 edges, 262523 markings/sec, 110 secs
lola: 35582880 markings, 76771823 edges, 261907 markings/sec, 115 secs
lola: 36865362 markings, 79712844 edges, 256496 markings/sec, 120 secs
lola: 38149005 markings, 82645036 edges, 256729 markings/sec, 125 secs
lola: 39432636 markings, 85572446 edges, 256726 markings/sec, 130 secs
lola: 40705098 markings, 88493020 edges, 254492 markings/sec, 135 secs
lola: 41973286 markings, 91408539 edges, 253638 markings/sec, 140 secs
lola: 43240435 markings, 94305220 edges, 253430 markings/sec, 145 secs
lola: 44482703 markings, 97184802 edges, 248454 markings/sec, 150 secs
lola: 45733734 markings, 100072934 edges, 250206 markings/sec, 155 secs
lola: 46976428 markings, 102936257 edges, 248539 markings/sec, 160 secs
lola: 48215190 markings, 105799303 edges, 247752 markings/sec, 165 secs
lola: 49448871 markings, 108642535 edges, 246736 markings/sec, 170 secs
lola: 50678406 markings, 111483475 edges, 245907 markings/sec, 175 secs
lola: 51897392 markings, 114305784 edges, 243797 markings/sec, 180 secs
lola: 53097392 markings, 117098140 edges, 240000 markings/sec, 185 secs
lola: 54306736 markings, 119914863 edges, 241869 markings/sec, 190 secs
lola: 55493413 markings, 122707174 edges, 237335 markings/sec, 195 secs
lola: 56699591 markings, 125523535 edges, 241236 markings/sec, 200 secs
lola: 57886889 markings, 128308342 edges, 237460 markings/sec, 205 secs
lola: 59082652 markings, 131105034 edges, 239153 markings/sec, 210 secs
lola: 60268226 markings, 133885171 edges, 237115 markings/sec, 215 secs
lola: 61470088 markings, 136677929 edges, 240372 markings/sec, 220 secs
lola: 62651184 markings, 139458651 edges, 236219 markings/sec, 225 secs
lola: 63838227 markings, 142237275 edges, 237409 markings/sec, 230 secs
lola: 64994137 markings, 144962838 edges, 231182 markings/sec, 235 secs
lola: 66139079 markings, 147648289 edges, 228988 markings/sec, 240 secs
lola: 67301410 markings, 150401887 edges, 232466 markings/sec, 245 secs
lola: 68466054 markings, 153143593 edges, 232929 markings/sec, 250 secs
lola: 69597195 markings, 155820148 edges, 226228 markings/sec, 255 secs
lola: 70741957 markings, 158540456 edges, 228952 markings/sec, 260 secs
lola: 71909242 markings, 161284790 edges, 233457 markings/sec, 265 secs
lola: 73057041 markings, 164008136 edges, 229560 markings/sec, 270 secs
lola: 74197458 markings, 166731515 edges, 228083 markings/sec, 275 secs
lola: 75345838 markings, 169463080 edges, 229676 markings/sec, 280 secs
lola: 76487366 markings, 172186446 edges, 228306 markings/sec, 285 secs
lola: 77630802 markings, 174900662 edges, 228687 markings/sec, 290 secs
lola: 78767029 markings, 177605313 edges, 227245 markings/sec, 295 secs
lola: 79903371 markings, 180301011 edges, 227268 markings/sec, 300 secs
lola: 81020696 markings, 182964733 edges, 223465 markings/sec, 305 secs
lola: 82150170 markings, 185660442 edges, 225895 markings/sec, 310 secs
lola: 83289710 markings, 188347125 edges, 227908 markings/sec, 315 secs
lola: 84416224 markings, 191037311 edges, 225303 markings/sec, 320 secs
lola: 85545960 markings, 193722797 edges, 225947 markings/sec, 325 secs
lola: 86661155 markings, 196394320 edges, 223039 markings/sec, 330 secs
lola: 87776325 markings, 199081444 edges, 223034 markings/sec, 335 secs
lola: 88893871 markings, 201748462 edges, 223509 markings/sec, 340 secs
lola: 90004872 markings, 204413153 edges, 222200 markings/sec, 345 secs
lola: 91122712 markings, 207079722 edges, 223568 markings/sec, 350 secs
lola: 92235111 markings, 209734146 edges, 222480 markings/sec, 355 secs
lola: 93315332 markings, 212341376 edges, 216044 markings/sec, 360 secs
lola: 94385710 markings, 214924352 edges, 214076 markings/sec, 365 secs
lola: 95466872 markings, 217523528 edges, 216232 markings/sec, 370 secs
lola: 96522600 markings, 220104499 edges, 211146 markings/sec, 375 secs
lola: 97581706 markings, 222671015 edges, 211821 markings/sec, 380 secs
lola: 98659918 markings, 225262029 edges, 215642 markings/sec, 385 secs
lola: 99733181 markings, 227838102 edges, 214653 markings/sec, 390 secs
lola: 100807475 markings, 230444528 edges, 214859 markings/sec, 395 secs
lola: 101900981 markings, 233070127 edges, 218701 markings/sec, 400 secs
lola: 102977582 markings, 235698495 edges, 215320 markings/sec, 405 secs
lola: 104060331 markings, 238309582 edges, 216550 markings/sec, 410 secs
lola: 105154044 markings, 240928981 edges, 218743 markings/sec, 415 secs
lola: 106218870 markings, 243514770 edges, 212965 markings/sec, 420 secs
lola: 107287412 markings, 246124605 edges, 213708 markings/sec, 425 secs
lola: 108353032 markings, 248716453 edges, 213124 markings/sec, 430 secs
lola: 109428974 markings, 251309359 edges, 215188 markings/sec, 435 secs
lola: 110496704 markings, 253899788 edges, 213546 markings/sec, 440 secs
lola: 111559969 markings, 256484794 edges, 212653 markings/sec, 445 secs
lola: 112631339 markings, 259072363 edges, 214274 markings/sec, 450 secs
lola: 113701757 markings, 261660355 edges, 214084 markings/sec, 455 secs
lola: 114759107 markings, 264209950 edges, 211470 markings/sec, 460 secs
lola: 115804442 markings, 266769229 edges, 209067 markings/sec, 465 secs
lola: 116857848 markings, 269334983 edges, 210681 markings/sec, 470 secs
lola: 117905408 markings, 271892436 edges, 209512 markings/sec, 475 secs
lola: 118964452 markings, 274465846 edges, 211809 markings/sec, 480 secs
lola: 119999087 markings, 277010389 edges, 206927 markings/sec, 485 secs
lola: 121057548 markings, 279568694 edges, 211692 markings/sec, 490 secs
lola: 122085419 markings, 282117389 edges, 205574 markings/sec, 495 secs
lola: 123118081 markings, 284675719 edges, 206532 markings/sec, 500 secs
lola: 124164115 markings, 287219251 edges, 209207 markings/sec, 505 secs
lola: 125205590 markings, 289754393 edges, 208295 markings/sec, 510 secs
lola: 126232288 markings, 292261703 edges, 205340 markings/sec, 515 secs
lola: 127257637 markings, 294768223 edges, 205070 markings/sec, 520 secs
lola: 128306254 markings, 297323995 edges, 209723 markings/sec, 525 secs
lola: 129323960 markings, 299805320 edges, 203541 markings/sec, 530 secs
lola: 130340022 markings, 302295554 edges, 203212 markings/sec, 535 secs
lola: 131350750 markings, 304758921 edges, 202146 markings/sec, 540 secs
lola: 132369907 markings, 307271522 edges, 203831 markings/sec, 545 secs
lola: 133384610 markings, 309761653 edges, 202941 markings/sec, 550 secs
lola: 134386578 markings, 312247328 edges, 200394 markings/sec, 555 secs
lola: 135383193 markings, 314732537 edges, 199323 markings/sec, 560 secs
lola: 136404252 markings, 317243866 edges, 204212 markings/sec, 565 secs
lola: 137419660 markings, 319754392 edges, 203082 markings/sec, 570 secs
lola: 138440798 markings, 322269701 edges, 204228 markings/sec, 575 secs
lola: 139457342 markings, 324793354 edges, 203309 markings/sec, 580 secs
lola: 140474361 markings, 327315292 edges, 203404 markings/sec, 585 secs
lola: 141479180 markings, 329812659 edges, 200964 markings/sec, 590 secs
lola: 142501093 markings, 332321671 edges, 204383 markings/sec, 595 secs
lola: 143513856 markings, 334818583 edges, 202553 markings/sec, 600 secs
lola: 144521061 markings, 337309661 edges, 201441 markings/sec, 605 secs
lola: 145519813 markings, 339784825 edges, 199750 markings/sec, 610 secs
lola: 146541487 markings, 342295092 edges, 204335 markings/sec, 615 secs
lola: 147067886 markings, 343589418 edges, 105280 markings/sec, 620 secs
lola: 147077284 markings, 343612096 edges, 1880 markings/sec, 625 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA Angiogenesis-PT-10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(GStarP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GStarP3)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 1785284 markings, 4057010 edges, 357057 markings/sec, 0 secs
lola: 3497184 markings, 8060510 edges, 342380 markings/sec, 5 secs
lola: 5153132 markings, 11965359 edges, 331190 markings/sec, 10 secs
lola: 6771390 markings, 15806026 edges, 323652 markings/sec, 15 secs
lola: 8364310 markings, 19598257 edges, 318584 markings/sec, 20 secs
lola: 9928757 markings, 23345528 edges, 312889 markings/sec, 25 secs
lola: 11462296 markings, 27048128 edges, 306708 markings/sec, 30 secs
lola: 12985036 markings, 30713889 edges, 304548 markings/sec, 35 secs
lola: 14493448 markings, 34369073 edges, 301682 markings/sec, 40 secs
lola: 15986042 markings, 37993717 edges, 298519 markings/sec, 45 secs
lola: 17474067 markings, 41614799 edges, 297605 markings/sec, 50 secs
lola: 18944567 markings, 45205229 edges, 294100 markings/sec, 55 secs
lola: 20402971 markings, 48769457 edges, 291681 markings/sec, 60 secs
lola: 21857228 markings, 52318751 edges, 290851 markings/sec, 65 secs
lola: 23284644 markings, 55843453 edges, 285483 markings/sec, 70 secs
lola: 24703500 markings, 59350895 edges, 283771 markings/sec, 75 secs
lola: 26121497 markings, 62862632 edges, 283599 markings/sec, 80 secs
lola: 27534559 markings, 66335923 edges, 282612 markings/sec, 85 secs
lola: 28944488 markings, 69814719 edges, 281986 markings/sec, 90 secs
lola: 30349172 markings, 73280619 edges, 280937 markings/sec, 95 secs
lola: 31764852 markings, 76764251 edges, 283136 markings/sec, 100 secs
lola: 33146144 markings, 80200119 edges, 276258 markings/sec, 105 secs
lola: 34526799 markings, 83633195 edges, 276131 markings/sec, 110 secs
lola: 35914473 markings, 87073729 edges, 277535 markings/sec, 115 secs
lola: 37285375 markings, 90485922 edges, 274180 markings/sec, 120 secs
lola: 38659355 markings, 93917763 edges, 274796 markings/sec, 125 secs
lola: 39991807 markings, 97231889 edges, 266490 markings/sec, 130 secs
lola: 41337912 markings, 100590107 edges, 269221 markings/sec, 135 secs
lola: 42703211 markings, 103984999 edges, 273060 markings/sec, 140 secs
lola: 44062119 markings, 107367640 edges, 271782 markings/sec, 145 secs
lola: 45409562 markings, 110735628 edges, 269489 markings/sec, 150 secs
lola: 46754221 markings, 114102665 edges, 268932 markings/sec, 155 secs
lola: 48090284 markings, 117444228 edges, 267213 markings/sec, 160 secs
lola: 49429473 markings, 120798873 edges, 267838 markings/sec, 165 secs
lola: 50754957 markings, 124142482 edges, 265097 markings/sec, 170 secs
lola: 52083337 markings, 127476815 edges, 265676 markings/sec, 175 secs
lola: 53400022 markings, 130797686 edges, 263337 markings/sec, 180 secs
lola: 54718720 markings, 134117521 edges, 263740 markings/sec, 185 secs
lola: 56040344 markings, 137446411 edges, 264325 markings/sec, 190 secs
lola: 57352640 markings, 140757077 edges, 262459 markings/sec, 195 secs
lola: 58667216 markings, 144075843 edges, 262915 markings/sec, 200 secs
lola: 59976004 markings, 147382995 edges, 261758 markings/sec, 205 secs
lola: 61282035 markings, 150667945 edges, 261206 markings/sec, 210 secs
lola: 62578582 markings, 153963821 edges, 259309 markings/sec, 215 secs
lola: 63886345 markings, 157265559 edges, 261553 markings/sec, 220 secs
lola: 65182585 markings, 160541577 edges, 259248 markings/sec, 225 secs
lola: 66465973 markings, 163815329 edges, 256678 markings/sec, 230 secs
lola: 67772625 markings, 167108562 edges, 261330 markings/sec, 235 secs
lola: 69066311 markings, 170389312 edges, 258737 markings/sec, 240 secs
lola: 70346735 markings, 173645616 edges, 256085 markings/sec, 245 secs
lola: 71630623 markings, 176907103 edges, 256778 markings/sec, 250 secs
lola: 72909781 markings, 180151210 edges, 255832 markings/sec, 255 secs
lola: 74182607 markings, 183412337 edges, 254565 markings/sec, 260 secs
lola: 75470580 markings, 186684584 edges, 257595 markings/sec, 265 secs
lola: 76754776 markings, 189947864 edges, 256839 markings/sec, 270 secs
lola: 78036472 markings, 193191606 edges, 256339 markings/sec, 275 secs
lola: 79305913 markings, 196445552 edges, 253888 markings/sec, 280 secs
lola: 80574466 markings, 199668350 edges, 253711 markings/sec, 285 secs
lola: 81800007 markings, 202796342 edges, 245108 markings/sec, 290 secs
lola: 82995648 markings, 205833638 edges, 239128 markings/sec, 295 secs
lola: 84212374 markings, 208922785 edges, 243345 markings/sec, 300 secs
lola: 85423774 markings, 212011890 edges, 242280 markings/sec, 305 secs
lola: 86638533 markings, 215099117 edges, 242952 markings/sec, 310 secs
lola: 87847274 markings, 218182355 edges, 241748 markings/sec, 315 secs
lola: 89055125 markings, 221262645 edges, 241570 markings/sec, 320 secs
lola: 90249557 markings, 224322269 edges, 238886 markings/sec, 325 secs
lola: 91444897 markings, 227385105 edges, 239068 markings/sec, 330 secs
lola: time limit reached - aborting
lola:
preliminary result: 10 unknown 10 10 10 unknown 10 10 unknown 10 unknown 10 5 10 unknown 10
lola:
preliminary result: 10 unknown 10 10 10 unknown 10 10 unknown 10 unknown 10 5 10 unknown 10
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 10 unknown 10 10 10 unknown 10 10 unknown 10 unknown 10 5 10 unknown 10
lola: memory consumption: 12928 KB
lola: time consumption: 3570 seconds

BK_STOP 1552403578990

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

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