MCC'2019 - Execution of r066-ebro-155234666400013

About the Execution of 2018-Gold for Diffusion2D-PT-D05N200

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15919.040	3571163.00	3561262.00	8673.00	200 200 200 200 200 200 200 ? ? ? 200 200 200 ? 200 ?	normal

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2019-input.r066-ebro-155234666400013.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is Diffusion2D-PT-D05N200, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r066-ebro-155234666400013
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 212K
-rw-r--r-- 1 mcc users 3.7K Feb 10 21:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 10 21:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 6 17:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Feb 6 17:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.8K Feb 4 23:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 3 07:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 3 07:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Jan 30 23:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Jan 30 23:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 8 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 55K 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 Diffusion2D-PT-D05N200-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D05N200-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D05N200-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D05N200-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D05N200-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D05N200-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D05N200-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D05N200-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D05N200-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D05N200-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D05N200-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D05N200-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D05N200-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D05N200-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D05N200-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D05N200-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552909205259

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D05N200 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D05N200 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D05N200 @ 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: 169/65536 symbol table entries, 4 collisions
lola: preprocessing...
lola: Size of bit vector: 800
lola: finding significant places
lola: 25 places, 144 transitions, 24 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 25 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D05N200-UpperBounds.task
lola: MAX(cAMP__1_1_) : MAX(cAMP__2_1_) : MAX(cAMP__4_4_) : MAX(cAMP__4_2_) : MAX(cAMP__4_3_) : MAX(cAMP__2_1_) : MAX(cAMP__5_5_) : MAX(cAMP__4_5_) : MAX(cAMP__1_5_) : MAX(cAMP__2_5_) : MAX(cAMP__1_4_) : MAX(cAMP__1_3_) : MAX(cAMP__4_2_) : MAX(cAMP__3_5_) : MAX(cAMP__1_3_) : MAX(cAMP__3_5_)
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(cAMP__1_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N200-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: 200
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: 401 markings, 400 edges
lola: ========================================

FORMULA Diffusion2D-PT-D05N200-UpperBounds-0 200 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(cAMP__2_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N200-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: 200
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: 401 markings, 400 edges
lola: ========================================

FORMULA Diffusion2D-PT-D05N200-UpperBounds-1 200 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(cAMP__4_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N200-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: 200
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: 201 markings, 200 edges
lola: ========================================

FORMULA Diffusion2D-PT-D05N200-UpperBounds-2 200 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(cAMP__4_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_2_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N200-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: 200
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: 201 markings, 200 edges
lola: ========================================

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

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

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

FORMULA Diffusion2D-PT-D05N200-UpperBounds-6 200 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N200-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: 200
lola: 606709 markings, 1517199 edges, 121342 markings/sec, 0 secs
lola: 1196683 markings, 3047659 edges, 117995 markings/sec, 5 secs
lola: 1742478 markings, 4572886 edges, 109159 markings/sec, 10 secs
lola: 2290474 markings, 6103328 edges, 109599 markings/sec, 15 secs
lola: 2842464 markings, 7643217 edges, 110398 markings/sec, 20 secs
lola: 3402958 markings, 9207026 edges, 112099 markings/sec, 25 secs
lola: 3932387 markings, 10681568 edges, 105886 markings/sec, 30 secs
lola: 4456973 markings, 12145415 edges, 104917 markings/sec, 35 secs
lola: 5000730 markings, 13660288 edges, 108751 markings/sec, 40 secs
lola: 5541826 markings, 15169725 edges, 108219 markings/sec, 45 secs
lola: 6083741 markings, 16677001 edges, 108383 markings/sec, 50 secs
lola: 6630748 markings, 18190938 edges, 109401 markings/sec, 55 secs
lola: 7180997 markings, 19656084 edges, 110050 markings/sec, 60 secs
lola: 7737495 markings, 21137680 edges, 111300 markings/sec, 65 secs
lola: 8301847 markings, 22640256 edges, 112870 markings/sec, 70 secs
lola: 8871103 markings, 24159408 edges, 113851 markings/sec, 75 secs
lola: 9418488 markings, 25633614 edges, 109477 markings/sec, 80 secs
lola: 9943297 markings, 27047030 edges, 104962 markings/sec, 85 secs
lola: 10464033 markings, 28449452 edges, 104147 markings/sec, 90 secs
lola: 10993308 markings, 29874861 edges, 105855 markings/sec, 95 secs
lola: 11522079 markings, 31299094 edges, 105754 markings/sec, 100 secs
lola: 12046438 markings, 32711203 edges, 104872 markings/sec, 105 secs
lola: 12563204 markings, 34102773 edges, 103353 markings/sec, 110 secs
lola: 13111415 markings, 35573384 edges, 109642 markings/sec, 115 secs
lola: 13680374 markings, 37088015 edges, 113792 markings/sec, 120 secs
lola: 14241160 markings, 38581276 edges, 112157 markings/sec, 125 secs
lola: 14810086 markings, 40095904 edges, 113785 markings/sec, 130 secs
lola: 15383389 markings, 41634684 edges, 114661 markings/sec, 135 secs
lola: 15932385 markings, 43113019 edges, 109799 markings/sec, 140 secs
lola: 16468608 markings, 44557323 edges, 107245 markings/sec, 145 secs
lola: 16998802 markings, 45985285 edges, 106039 markings/sec, 150 secs
lola: 17528741 markings, 47412348 edges, 105988 markings/sec, 155 secs
lola: 18054078 markings, 48827237 edges, 105067 markings/sec, 160 secs
lola: 18567026 markings, 50208830 edges, 102590 markings/sec, 165 secs
lola: 19093784 markings, 51628401 edges, 105352 markings/sec, 170 secs
lola: 19634815 markings, 53134723 edges, 108206 markings/sec, 175 secs
lola: 20154905 markings, 54587949 edges, 104018 markings/sec, 180 secs
lola: 20665773 markings, 56015691 edges, 102174 markings/sec, 185 secs
lola: 21184402 markings, 57462866 edges, 103726 markings/sec, 190 secs
lola: 21704792 markings, 58915328 edges, 104078 markings/sec, 195 secs
lola: 22235145 markings, 60391079 edges, 106071 markings/sec, 200 secs
lola: 22755807 markings, 61843069 edges, 104132 markings/sec, 205 secs
lola: 23269033 markings, 63274609 edges, 102645 markings/sec, 210 secs
lola: 23789119 markings, 64717021 edges, 104017 markings/sec, 215 secs
lola: 24334022 markings, 66238555 edges, 108981 markings/sec, 220 secs
lola: 24860269 markings, 67710318 edges, 105249 markings/sec, 225 secs
lola: 25387990 markings, 69180641 edges, 105544 markings/sec, 230 secs
lola: 25904774 markings, 70616277 edges, 103357 markings/sec, 235 secs
lola: 26423458 markings, 72057398 edges, 103737 markings/sec, 240 secs
lola: 26964589 markings, 73557746 edges, 108226 markings/sec, 245 secs
lola: 27511857 markings, 75088910 edges, 109454 markings/sec, 250 secs
lola: 28046482 markings, 76581820 edges, 106925 markings/sec, 255 secs
lola: 28563649 markings, 78032641 edges, 103433 markings/sec, 260 secs
lola: 29072807 markings, 79455683 edges, 101832 markings/sec, 265 secs
lola: 29577264 markings, 80863747 edges, 100891 markings/sec, 270 secs
lola: 30089671 markings, 82295301 edges, 102481 markings/sec, 275 secs
lola: 30609646 markings, 83745718 edges, 103995 markings/sec, 280 secs
lola: 31135974 markings, 85212540 edges, 105266 markings/sec, 285 secs
lola: 31646581 markings, 86639587 edges, 102121 markings/sec, 290 secs
lola: 32155845 markings, 88060109 edges, 101853 markings/sec, 295 secs
lola: 32678886 markings, 89513245 edges, 104608 markings/sec, 300 secs
lola: 33194420 markings, 90951007 edges, 103107 markings/sec, 305 secs
lola: 33695602 markings, 92351540 edges, 100236 markings/sec, 310 secs
lola: 34190522 markings, 93734875 edges, 98984 markings/sec, 315 secs
lola: 34684550 markings, 95116153 edges, 98806 markings/sec, 320 secs
lola: 35194735 markings, 96535536 edges, 102037 markings/sec, 325 secs
lola: 35721751 markings, 98006217 edges, 105403 markings/sec, 330 secs
lola: 36233655 markings, 99437132 edges, 102381 markings/sec, 335 secs
lola: 36753193 markings, 100884386 edges, 103908 markings/sec, 340 secs
lola: 37281665 markings, 102349942 edges, 105694 markings/sec, 345 secs
lola: 37827436 markings, 103821603 edges, 109154 markings/sec, 350 secs
lola: 38386087 markings, 105308857 edges, 111730 markings/sec, 355 secs
lola: 38949102 markings, 106807865 edges, 112603 markings/sec, 360 secs
lola: 39510141 markings, 108301717 edges, 112208 markings/sec, 365 secs
lola: 40072618 markings, 109813362 edges, 112495 markings/sec, 370 secs
lola: 40613168 markings, 111269005 edges, 108110 markings/sec, 375 secs
lola: 41146987 markings, 112706619 edges, 106764 markings/sec, 380 secs
lola: 41676374 markings, 114132447 edges, 105877 markings/sec, 385 secs
lola: 42207471 markings, 115562752 edges, 106219 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: 200 200 200 200 200 200 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N200-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: 200
lola: 621551 markings, 1525794 edges, 124310 markings/sec, 0 secs
lola: 1225248 markings, 3008210 edges, 120739 markings/sec, 5 secs
lola: 1858089 markings, 4544486 edges, 126568 markings/sec, 10 secs
lola: 2474444 markings, 6048520 edges, 123271 markings/sec, 15 secs
lola: 3077735 markings, 7533348 edges, 120658 markings/sec, 20 secs
lola: 3670113 markings, 8983959 edges, 118476 markings/sec, 25 secs
lola: 4268455 markings, 10450100 edges, 119668 markings/sec, 30 secs
lola: 4863952 markings, 11909051 edges, 119099 markings/sec, 35 secs
lola: 5452538 markings, 13347389 edges, 117717 markings/sec, 40 secs
lola: 6030136 markings, 14757139 edges, 115520 markings/sec, 45 secs
lola: 6626761 markings, 16204612 edges, 119325 markings/sec, 50 secs
lola: 7210731 markings, 17630370 edges, 116794 markings/sec, 55 secs
lola: 7790323 markings, 19051956 edges, 115918 markings/sec, 60 secs
lola: 8352190 markings, 20420549 edges, 112373 markings/sec, 65 secs
lola: 8946446 markings, 21876373 edges, 118851 markings/sec, 70 secs
lola: 9535358 markings, 23309269 edges, 117782 markings/sec, 75 secs
lola: 10123622 markings, 24750050 edges, 117653 markings/sec, 80 secs
lola: 10715072 markings, 26187650 edges, 118290 markings/sec, 85 secs
lola: 11299814 markings, 27611156 edges, 116948 markings/sec, 90 secs
lola: 11871236 markings, 29006864 edges, 114284 markings/sec, 95 secs
lola: 12444035 markings, 30398372 edges, 114560 markings/sec, 100 secs
lola: 13012889 markings, 31783785 edges, 113771 markings/sec, 105 secs
lola: 13575920 markings, 33148603 edges, 112606 markings/sec, 110 secs
lola: 14147859 markings, 34557026 edges, 114388 markings/sec, 115 secs
lola: 14713249 markings, 35940988 edges, 113078 markings/sec, 120 secs
lola: 15314560 markings, 37406422 edges, 120262 markings/sec, 125 secs
lola: 15925626 markings, 38889555 edges, 122213 markings/sec, 130 secs
lola: 16541332 markings, 40387919 edges, 123141 markings/sec, 135 secs
lola: 17140496 markings, 41848757 edges, 119833 markings/sec, 140 secs
lola: 17729223 markings, 43295037 edges, 117745 markings/sec, 145 secs
lola: 18322083 markings, 44747618 edges, 118572 markings/sec, 150 secs
lola: 18905668 markings, 46189637 edges, 116717 markings/sec, 155 secs
lola: 19512247 markings, 47680227 edges, 121316 markings/sec, 160 secs
lola: 20124475 markings, 49165523 edges, 122446 markings/sec, 165 secs
lola: 20715270 markings, 50613544 edges, 118159 markings/sec, 170 secs
lola: 21300351 markings, 52033911 edges, 117016 markings/sec, 175 secs
lola: 21892701 markings, 53468850 edges, 118470 markings/sec, 180 secs
lola: 22483819 markings, 54915049 edges, 118224 markings/sec, 185 secs
lola: 23052898 markings, 56304162 edges, 113816 markings/sec, 190 secs
lola: 23600594 markings, 57645687 edges, 109539 markings/sec, 195 secs
lola: 24181677 markings, 59062848 edges, 116217 markings/sec, 200 secs
lola: 24744550 markings, 60436389 edges, 112575 markings/sec, 205 secs
lola: 25289407 markings, 61768780 edges, 108971 markings/sec, 210 secs
lola: 25840203 markings, 63108681 edges, 110159 markings/sec, 215 secs
lola: 26382814 markings, 64442262 edges, 108522 markings/sec, 220 secs
lola: 26945139 markings, 65815474 edges, 112465 markings/sec, 225 secs
lola: 27523828 markings, 67231048 edges, 115738 markings/sec, 230 secs
lola: 28092932 markings, 68625243 edges, 113821 markings/sec, 235 secs
lola: 28673729 markings, 70041764 edges, 116159 markings/sec, 240 secs
lola: 29253669 markings, 71462430 edges, 115988 markings/sec, 245 secs
lola: 29827841 markings, 72863470 edges, 114834 markings/sec, 250 secs
lola: 30393293 markings, 74250563 edges, 113090 markings/sec, 255 secs
lola: 30964920 markings, 75644760 edges, 114325 markings/sec, 260 secs
lola: 31548627 markings, 77081464 edges, 116741 markings/sec, 265 secs
lola: 32146398 markings, 78535935 edges, 119554 markings/sec, 270 secs
lola: 32735310 markings, 79986426 edges, 117782 markings/sec, 275 secs
lola: 33317870 markings, 81417136 edges, 116512 markings/sec, 280 secs
lola: 33890575 markings, 82815063 edges, 114541 markings/sec, 285 secs
lola: 34477005 markings, 84246318 edges, 117286 markings/sec, 290 secs
lola: 35055716 markings, 85652486 edges, 115742 markings/sec, 295 secs
lola: 35638105 markings, 87074100 edges, 116478 markings/sec, 300 secs
lola: 36221719 markings, 88504800 edges, 116723 markings/sec, 305 secs
lola: 36804779 markings, 89927929 edges, 116612 markings/sec, 310 secs
lola: 37391631 markings, 91371156 edges, 117370 markings/sec, 315 secs
lola: 37964593 markings, 92772473 edges, 114592 markings/sec, 320 secs
lola: 38537739 markings, 94162369 edges, 114629 markings/sec, 325 secs
lola: 39106079 markings, 95548032 edges, 113668 markings/sec, 330 secs
lola: 39697818 markings, 96990065 edges, 118348 markings/sec, 335 secs
lola: 40260458 markings, 98357569 edges, 112528 markings/sec, 340 secs
lola: 40829943 markings, 99749070 edges, 113897 markings/sec, 345 secs
lola: 41393112 markings, 101130113 edges, 112634 markings/sec, 350 secs
lola: 41981866 markings, 102577188 edges, 117751 markings/sec, 355 secs
lola: 42551903 markings, 103965196 edges, 114007 markings/sec, 360 secs
lola: 43128003 markings, 105368824 edges, 115220 markings/sec, 365 secs
lola: 43690208 markings, 106740417 edges, 112441 markings/sec, 370 secs
lola: 44248825 markings, 108108110 edges, 111723 markings/sec, 375 secs
lola: 44820467 markings, 109506036 edges, 114328 markings/sec, 380 secs
lola: 45395258 markings, 110905024 edges, 114958 markings/sec, 385 secs
lola: 45966611 markings, 112306048 edges, 114271 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: 200 200 200 200 200 200 200 unknown 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 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N200-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: 200
lola: 597013 markings, 1697838 edges, 119403 markings/sec, 0 secs
lola: 1180251 markings, 3330560 edges, 116648 markings/sec, 5 secs
lola: 1751584 markings, 4957709 edges, 114267 markings/sec, 10 secs
lola: 2303082 markings, 6586321 edges, 110300 markings/sec, 15 secs
lola: 2874960 markings, 8224390 edges, 114376 markings/sec, 20 secs
lola: 3425262 markings, 9762204 edges, 110060 markings/sec, 25 secs
lola: 3969234 markings, 11302905 edges, 108794 markings/sec, 30 secs
lola: 4508384 markings, 12880792 edges, 107830 markings/sec, 35 secs
lola: 5080525 markings, 14550336 edges, 114428 markings/sec, 40 secs
lola: 5648638 markings, 16134726 edges, 113623 markings/sec, 45 secs
lola: 6198701 markings, 17688988 edges, 110013 markings/sec, 50 secs
lola: 6731964 markings, 19235777 edges, 106653 markings/sec, 55 secs
lola: 7280305 markings, 20857193 edges, 109668 markings/sec, 60 secs
lola: 7841146 markings, 22422316 edges, 112168 markings/sec, 65 secs
lola: 8386006 markings, 23961740 edges, 108972 markings/sec, 70 secs
lola: 8925151 markings, 25527922 edges, 107829 markings/sec, 75 secs
lola: 9454540 markings, 27091359 edges, 105878 markings/sec, 80 secs
lola: 10010531 markings, 28641939 edges, 111198 markings/sec, 85 secs
lola: 10550003 markings, 30165492 edges, 107894 markings/sec, 90 secs
lola: 11079679 markings, 31697862 edges, 105935 markings/sec, 95 secs
lola: 11618716 markings, 33304171 edges, 107807 markings/sec, 100 secs
lola: 12178215 markings, 34868489 edges, 111900 markings/sec, 105 secs
lola: 12720776 markings, 36397895 edges, 108512 markings/sec, 110 secs
lola: 13257004 markings, 37946389 edges, 107246 markings/sec, 115 secs
lola: 13785619 markings, 39514461 edges, 105723 markings/sec, 120 secs
lola: 14342145 markings, 41071614 edges, 111305 markings/sec, 125 secs
lola: 14876259 markings, 42579943 edges, 106823 markings/sec, 130 secs
lola: 15403273 markings, 44106691 edges, 105403 markings/sec, 135 secs
lola: 15940782 markings, 45700226 edges, 107502 markings/sec, 140 secs
lola: 16500450 markings, 47262937 edges, 111934 markings/sec, 145 secs
lola: 17039363 markings, 48786764 edges, 107783 markings/sec, 150 secs
lola: 17570408 markings, 50326268 edges, 106209 markings/sec, 155 secs
lola: 18103208 markings, 51928949 edges, 106560 markings/sec, 160 secs
lola: 18675296 markings, 53658899 edges, 114418 markings/sec, 165 secs
lola: 19271485 markings, 55456869 edges, 119238 markings/sec, 170 secs
lola: 19863519 markings, 57241439 edges, 118407 markings/sec, 175 secs
lola: 20445147 markings, 58993585 edges, 116326 markings/sec, 180 secs
lola: 20986815 markings, 60517255 edges, 108334 markings/sec, 185 secs
lola: 21500673 markings, 61964875 edges, 102772 markings/sec, 190 secs
lola: 22016231 markings, 63449865 edges, 103112 markings/sec, 195 secs
lola: 22535231 markings, 65003539 edges, 103800 markings/sec, 200 secs
lola: 23113276 markings, 66753408 edges, 115609 markings/sec, 205 secs
lola: 23705256 markings, 68538330 edges, 118396 markings/sec, 210 secs
lola: 24301467 markings, 70335770 edges, 119242 markings/sec, 215 secs
lola: 24908485 markings, 72169376 edges, 121404 markings/sec, 220 secs
lola: 25452881 markings, 73700160 edges, 108879 markings/sec, 225 secs
lola: 25982942 markings, 75198727 edges, 106012 markings/sec, 230 secs
lola: 26497733 markings, 76691681 edges, 102958 markings/sec, 235 secs
lola: 27007512 markings, 78233298 edges, 101956 markings/sec, 240 secs
lola: 27549349 markings, 79789564 edges, 108367 markings/sec, 245 secs
lola: 28087931 markings, 81301469 edges, 107716 markings/sec, 250 secs
lola: 28617243 markings, 82815318 edges, 105862 markings/sec, 255 secs
lola: 29145995 markings, 84385390 edges, 105750 markings/sec, 260 secs
lola: 29705789 markings, 85973714 edges, 111959 markings/sec, 265 secs
lola: 30247170 markings, 87501234 edges, 108276 markings/sec, 270 secs
lola: 30772909 markings, 89025977 edges, 105148 markings/sec, 275 secs
lola: 31300041 markings, 90576944 edges, 105426 markings/sec, 280 secs
lola: 31851728 markings, 92135194 edges, 110337 markings/sec, 285 secs
lola: 32370966 markings, 93605933 edges, 103848 markings/sec, 290 secs
lola: 32880969 markings, 95094715 edges, 102001 markings/sec, 295 secs
lola: 33396395 markings, 96604632 edges, 103085 markings/sec, 300 secs
lola: 33937512 markings, 98124331 edges, 108223 markings/sec, 305 secs
lola: 34452262 markings, 99598896 edges, 102950 markings/sec, 310 secs
lola: 34949016 markings, 101075285 edges, 99351 markings/sec, 315 secs
lola: 35468936 markings, 102559174 edges, 103984 markings/sec, 320 secs
lola: 36006017 markings, 104077379 edges, 107416 markings/sec, 325 secs
lola: 36533544 markings, 105606073 edges, 105505 markings/sec, 330 secs
lola: 37066799 markings, 107168371 edges, 106651 markings/sec, 335 secs
lola: 37589328 markings, 108641566 edges, 104506 markings/sec, 340 secs
lola: 38115587 markings, 110155743 edges, 105252 markings/sec, 345 secs
lola: 38627021 markings, 111671340 edges, 102287 markings/sec, 350 secs
lola: 39180418 markings, 113238035 edges, 110679 markings/sec, 355 secs
lola: 39713912 markings, 114753630 edges, 106699 markings/sec, 360 secs
lola: 40242322 markings, 116305969 edges, 105682 markings/sec, 365 secs
lola: 40788235 markings, 117883066 edges, 109183 markings/sec, 370 secs
lola: 41321966 markings, 119393706 edges, 106746 markings/sec, 375 secs
lola: 41841968 markings, 120910527 edges, 104000 markings/sec, 380 secs
lola: 42369697 markings, 122461520 edges, 105546 markings/sec, 385 secs
lola: 42914596 markings, 123997878 edges, 108980 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: 200 200 200 200 200 200 200 unknown unknown 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 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N200-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: 200
lola: 585920 markings, 1669005 edges, 117184 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: 690705 markings, 1961237 edges

FORMULA Diffusion2D-PT-D05N200-UpperBounds-10 200 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 474 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N200-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
========================================lola: RUNNING

lola: Structural Bound: 200
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: 401 markings, 400 edges
lola: ========================================

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

FORMULA Diffusion2D-PT-D05N200-UpperBounds-12 200 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 791 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N200-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: 200
lola: 603035 markings, 1513937 edges, 120607 markings/sec, 0 secs
lola: 1199791 markings, 3037621 edges, 119351 markings/sec, 5 secs
lola: 1757740 markings, 4602114 edges, 111590 markings/sec, 10 secs
lola: 2314219 markings, 6144424 edges, 111296 markings/sec, 15 secs
lola: 2848360 markings, 7626862 edges, 106828 markings/sec, 20 secs
lola: 3386232 markings, 9120674 edges, 107574 markings/sec, 25 secs
lola: 3944743 markings, 10673780 edges, 111702 markings/sec, 30 secs
lola: 4504828 markings, 12243170 edges, 112017 markings/sec, 35 secs
lola: 5065629 markings, 13813735 edges, 112160 markings/sec, 40 secs
lola: 5630362 markings, 15385472 edges, 112947 markings/sec, 45 secs
lola: 6197644 markings, 16963152 edges, 113456 markings/sec, 50 secs
lola: 6753428 markings, 18510016 edges, 111157 markings/sec, 55 secs
lola: 7312672 markings, 20067558 edges, 111849 markings/sec, 60 secs
lola: 7869928 markings, 21620133 edges, 111451 markings/sec, 65 secs
lola: 8428863 markings, 23177952 edges, 111787 markings/sec, 70 secs
lola: 8982567 markings, 24721688 edges, 110741 markings/sec, 75 secs
lola: 9536110 markings, 26265649 edges, 110709 markings/sec, 80 secs
lola: 10098464 markings, 27836243 edges, 112471 markings/sec, 85 secs
lola: 10663146 markings, 29412346 edges, 112936 markings/sec, 90 secs
lola: 11215637 markings, 30945466 edges, 110498 markings/sec, 95 secs
lola: 11765143 markings, 32471107 edges, 109901 markings/sec, 100 secs
lola: 12316220 markings, 34012751 edges, 110215 markings/sec, 105 secs
lola: 12867882 markings, 35554988 edges, 110332 markings/sec, 110 secs
lola: 13414453 markings, 37085580 edges, 109314 markings/sec, 115 secs
lola: 13965685 markings, 38614851 edges, 110246 markings/sec, 120 secs
lola: 14521018 markings, 40166842 edges, 111067 markings/sec, 125 secs
lola: 15074467 markings, 41719561 edges, 110690 markings/sec, 130 secs
lola: 15627217 markings, 43253910 edges, 110550 markings/sec, 135 secs
lola: 16180066 markings, 44805381 edges, 110570 markings/sec, 140 secs
lola: 16736849 markings, 46354520 edges, 111357 markings/sec, 145 secs
lola: 17295400 markings, 47920753 edges, 111710 markings/sec, 150 secs
lola: 17836185 markings, 49430862 edges, 108157 markings/sec, 155 secs
lola: 18378818 markings, 50945486 edges, 108527 markings/sec, 160 secs
lola: 18919845 markings, 52457692 edges, 108205 markings/sec, 165 secs
lola: 19465386 markings, 53984092 edges, 109108 markings/sec, 170 secs
lola: 20010131 markings, 55510205 edges, 108949 markings/sec, 175 secs
lola: 20554311 markings, 57036581 edges, 108836 markings/sec, 180 secs
lola: 21102263 markings, 58570423 edges, 109590 markings/sec, 185 secs
lola: 21652620 markings, 60117499 edges, 110071 markings/sec, 190 secs
lola: 22199248 markings, 61651257 edges, 109326 markings/sec, 195 secs
lola: 22744780 markings, 63178701 edges, 109106 markings/sec, 200 secs
lola: 23294521 markings, 64725463 edges, 109948 markings/sec, 205 secs
lola: 23846625 markings, 66281360 edges, 110421 markings/sec, 210 secs
lola: 24393509 markings, 67829822 edges, 109377 markings/sec, 215 secs
lola: 24945320 markings, 69397171 edges, 110362 markings/sec, 220 secs
lola: 25502041 markings, 70943988 edges, 111344 markings/sec, 225 secs
lola: 26039150 markings, 72436655 edges, 107422 markings/sec, 230 secs
lola: 26569457 markings, 73911402 edges, 106061 markings/sec, 235 secs
lola: 27107748 markings, 75417558 edges, 107658 markings/sec, 240 secs
lola: 27642013 markings, 76914725 edges, 106853 markings/sec, 245 secs
lola: 28169550 markings, 78384805 edges, 105507 markings/sec, 250 secs
lola: 28693331 markings, 79840058 edges, 104756 markings/sec, 255 secs
lola: 29221757 markings, 81310397 edges, 105685 markings/sec, 260 secs
lola: 29754564 markings, 82791217 edges, 106561 markings/sec, 265 secs
lola: 30288730 markings, 84279579 edges, 106833 markings/sec, 270 secs
lola: 30818156 markings, 85754692 edges, 105885 markings/sec, 275 secs
lola: 31339499 markings, 87214731 edges, 104269 markings/sec, 280 secs
lola: 31862114 markings, 88677611 edges, 104523 markings/sec, 285 secs
lola: 32386555 markings, 90140724 edges, 104888 markings/sec, 290 secs
lola: 32909837 markings, 91596421 edges, 104656 markings/sec, 295 secs
lola: 33428947 markings, 93041953 edges, 103822 markings/sec, 300 secs
lola: 33952845 markings, 94501874 edges, 104780 markings/sec, 305 secs
lola: 34475103 markings, 95958344 edges, 104452 markings/sec, 310 secs
lola: 34998709 markings, 97419142 edges, 104721 markings/sec, 315 secs
lola: 35518354 markings, 98870201 edges, 103929 markings/sec, 320 secs
lola: 36041932 markings, 100330620 edges, 104716 markings/sec, 325 secs
lola: 36563987 markings, 101780306 edges, 104411 markings/sec, 330 secs
lola: 37083219 markings, 103222731 edges, 103846 markings/sec, 335 secs
lola: 37601417 markings, 104671370 edges, 103640 markings/sec, 340 secs
lola: 38123417 markings, 106131035 edges, 104400 markings/sec, 345 secs
lola: 38645935 markings, 107593937 edges, 104504 markings/sec, 350 secs
lola: 39167484 markings, 109044599 edges, 104310 markings/sec, 355 secs
lola: 39685574 markings, 110490480 edges, 103618 markings/sec, 360 secs
lola: 40206836 markings, 111951494 edges, 104252 markings/sec, 365 secs
lola: 40733714 markings, 113415437 edges, 105376 markings/sec, 370 secs
lola: 41251525 markings, 114868364 edges, 103562 markings/sec, 375 secs
lola: 41767854 markings, 116306311 edges, 103266 markings/sec, 380 secs
lola: 42280189 markings, 117745856 edges, 102467 markings/sec, 385 secs
lola: 42795482 markings, 119182113 edges, 103059 markings/sec, 390 secs
lola: 43309915 markings, 120619234 edges, 102887 markings/sec, 395 secs
lola: 43823710 markings, 122058266 edges, 102759 markings/sec, 400 secs
lola: 44338930 markings, 123501177 edges, 103044 markings/sec, 405 secs
lola: 44859730 markings, 124958508 edges, 104160 markings/sec, 410 secs
lola: 45380285 markings, 126419227 edges, 104111 markings/sec, 415 secs
lola: 45904506 markings, 127889294 edges, 104844 markings/sec, 420 secs
lola: 46428083 markings, 129361319 edges, 104715 markings/sec, 425 secs
lola: 46951017 markings, 130829077 edges, 104587 markings/sec, 430 secs
lola: 47476938 markings, 132305329 edges, 105184 markings/sec, 435 secs
lola: 48008263 markings, 133803715 edges, 106265 markings/sec, 440 secs
lola: 48536532 markings, 135291161 edges, 105654 markings/sec, 445 secs
lola: 49064720 markings, 136788104 edges, 105638 markings/sec, 450 secs
lola: 49611023 markings, 138321857 edges, 109261 markings/sec, 455 secs
lola: 50139914 markings, 139806080 edges, 105778 markings/sec, 460 secs
lola: 50670692 markings, 141288123 edges, 106156 markings/sec, 465 secs
lola: 51204523 markings, 142772081 edges, 106766 markings/sec, 470 secs
lola: 51734965 markings, 144248206 edges, 106088 markings/sec, 475 secs
lola: 52270592 markings, 145740208 edges, 107125 markings/sec, 480 secs
lola: 52802051 markings, 147220898 edges, 106292 markings/sec, 485 secs
lola: 53334854 markings, 148706380 edges, 106561 markings/sec, 490 secs
lola: 53870308 markings, 150200095 edges, 107091 markings/sec, 495 secs
lola: 54407768 markings, 151700066 edges, 107492 markings/sec, 500 secs
lola: 54937895 markings, 153180469 edges, 106025 markings/sec, 505 secs
lola: 55468523 markings, 154662141 edges, 106126 markings/sec, 510 secs
lola: 55996542 markings, 156127570 edges, 105604 markings/sec, 515 secs
lola: 56515659 markings, 157569494 edges, 103823 markings/sec, 520 secs
lola: 57041150 markings, 159038713 edges, 105098 markings/sec, 525 secs
lola: 57571146 markings, 160521130 edges, 105999 markings/sec, 530 secs
lola: 58105688 markings, 162019575 edges, 106908 markings/sec, 535 secs
lola: 58636820 markings, 163490828 edges, 106226 markings/sec, 540 secs
lola: 59169216 markings, 164981635 edges, 106479 markings/sec, 545 secs
lola: 59704272 markings, 166482146 edges, 107011 markings/sec, 550 secs
lola: 60235807 markings, 167959600 edges, 106307 markings/sec, 555 secs
lola: 60772911 markings, 169467281 edges, 107421 markings/sec, 560 secs
lola: 61304984 markings, 170949006 edges, 106415 markings/sec, 565 secs
lola: 61828637 markings, 172409392 edges, 104731 markings/sec, 570 secs
lola: 62350186 markings, 173878542 edges, 104310 markings/sec, 575 secs
lola: 62871805 markings, 175332565 edges, 104324 markings/sec, 580 secs
lola: 63399015 markings, 176806902 edges, 105442 markings/sec, 585 secs
lola: 63922253 markings, 178272594 edges, 104648 markings/sec, 590 secs
lola: 64447281 markings, 179747253 edges, 105006 markings/sec, 595 secs
lola: 64976465 markings, 181223205 edges, 105837 markings/sec, 600 secs
lola: 65505447 markings, 182711810 edges, 105796 markings/sec, 605 secs
lola: 66033743 markings, 184193606 edges, 105659 markings/sec, 610 secs
lola: 66566981 markings, 185686675 edges, 106648 markings/sec, 615 secs
lola: 67096297 markings, 187178365 edges, 105863 markings/sec, 620 secs
lola: 67633125 markings, 188690512 edges, 107366 markings/sec, 625 secs
lola: 68167157 markings, 190197917 edges, 106806 markings/sec, 630 secs
lola: 68707565 markings, 191731518 edges, 108082 markings/sec, 635 secs
lola: 69239566 markings, 193216970 edges, 106400 markings/sec, 640 secs
lola: 69387841 markings, 193635553 edges, 29655 markings/sec, 645 secs
lola: 69393678 markings, 193652184 edges, 1167 markings/sec, 650 secs
lola: 69396358 markings, 193659557 edges, 536 markings/sec, 655 secs
lola: 69398886 markings, 193666646 edges, 506 markings/sec, 660 secs
lola: 69406626 markings, 193688478 edges, 1548 markings/sec, 665 secs
lola: 69410023 markings, 193698556 edges, 679 markings/sec, 670 secs
lola: 69414792 markings, 193711708 edges, 954 markings/sec, 675 secs
lola: 69429215 markings, 193752878 edges, 2885 markings/sec, 680 secs
lola: 69435673 markings, 193771240 edges, 1292 markings/sec, 685 secs
lola: 69440454 markings, 193784905 edges, 956 markings/sec, 690 secs
lola: 69440494 markings, 193785066 edges, 8 markings/sec, 695 secs
lola: 69443898 markings, 193794602 edges, 681 markings/sec, 700 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 828 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N200-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: 200
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: 401 markings, 400 edges
lola: ========================================

FORMULA Diffusion2D-PT-D05N200-UpperBounds-14 200 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1657 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N200-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: 200
lola: 591566 markings, 1485164 edges, 118313 markings/sec, 0 secs
lola: 1198618 markings, 3034456 edges, 121410 markings/sec, 5 secs
lola: 1764263 markings, 4621129 edges, 113129 markings/sec, 10 secs
lola: 2327792 markings, 6183144 edges, 112706 markings/sec, 15 secs
lola: 2861836 markings, 7664779 edges, 106809 markings/sec, 20 secs
lola: 3399111 markings, 9157239 edges, 107455 markings/sec, 25 secs
lola: 3964921 markings, 10728742 edges, 113162 markings/sec, 30 secs
lola: 4531550 markings, 12314347 edges, 113326 markings/sec, 35 secs
lola: 5101763 markings, 13909727 edges, 114043 markings/sec, 40 secs
lola: 5670897 markings, 15500909 edges, 113827 markings/sec, 45 secs
lola: 6237198 markings, 17076218 edges, 113260 markings/sec, 50 secs
lola: 6797531 markings, 18635234 edges, 112067 markings/sec, 55 secs
lola: 7355271 markings, 20188081 edges, 111548 markings/sec, 60 secs
lola: 7910485 markings, 21734756 edges, 111043 markings/sec, 65 secs
lola: 8472501 markings, 23301657 edges, 112403 markings/sec, 70 secs
lola: 9031306 markings, 24859907 edges, 111761 markings/sec, 75 secs
lola: 9584229 markings, 26402721 edges, 110585 markings/sec, 80 secs
lola: 10147752 markings, 27976527 edges, 112705 markings/sec, 85 secs
lola: 10711760 markings, 29541732 edges, 112802 markings/sec, 90 secs
lola: 11262492 markings, 31070213 edges, 110146 markings/sec, 95 secs
lola: 11806997 markings, 32590692 edges, 108901 markings/sec, 100 secs
lola: 12355945 markings, 34124469 edges, 109790 markings/sec, 105 secs
lola: 12903497 markings, 35655818 edges, 109510 markings/sec, 110 secs
lola: 13454588 markings, 37199240 edges, 110218 markings/sec, 115 secs
lola: 14010017 markings, 38737659 edges, 111086 markings/sec, 120 secs
lola: 14565105 markings, 40291466 edges, 111018 markings/sec, 125 secs
lola: 15121413 markings, 41849126 edges, 111262 markings/sec, 130 secs
lola: 15678493 markings, 43398943 edges, 111416 markings/sec, 135 secs
lola: 16231560 markings, 44951591 edges, 110613 markings/sec, 140 secs
lola: 16783913 markings, 46487419 edges, 110471 markings/sec, 145 secs
lola: 17342309 markings, 48045753 edges, 111679 markings/sec, 150 secs
lola: 17885800 markings, 49572711 edges, 108698 markings/sec, 155 secs
lola: 18430137 markings, 51090826 edges, 108867 markings/sec, 160 secs
lola: 18973764 markings, 52610097 edges, 108725 markings/sec, 165 secs
lola: 19514652 markings, 54123848 edges, 108178 markings/sec, 170 secs
lola: 20060408 markings, 55652598 edges, 109151 markings/sec, 175 secs
lola: 20606748 markings, 57186948 edges, 109268 markings/sec, 180 secs
lola: 21156685 markings, 58722591 edges, 109987 markings/sec, 185 secs
lola: 21707415 markings, 60267267 edges, 110146 markings/sec, 190 secs
lola: 22257844 markings, 61811204 edges, 110086 markings/sec, 195 secs
lola: 22812129 markings, 63371191 edges, 110857 markings/sec, 200 secs
lola: 23357130 markings, 64904768 edges, 109000 markings/sec, 205 secs
lola: 23908048 markings, 66457960 edges, 110184 markings/sec, 210 secs
lola: 24453873 markings, 68000196 edges, 109165 markings/sec, 215 secs
lola: 24999290 markings, 69551470 edges, 109083 markings/sec, 220 secs
lola: 25551142 markings, 71082571 edges, 110370 markings/sec, 225 secs
lola: 26088154 markings, 72574997 edges, 107402 markings/sec, 230 secs
lola: 26635259 markings, 74095506 edges, 109421 markings/sec, 235 secs
lola: 27172509 markings, 75591245 edges, 107450 markings/sec, 240 secs
lola: 27710633 markings, 77097327 edges, 107625 markings/sec, 245 secs
lola: 28260763 markings, 78636167 edges, 110026 markings/sec, 250 secs
lola: 28784978 markings, 80101621 edges, 104843 markings/sec, 255 secs
lola: 29320068 markings, 81587889 edges, 107018 markings/sec, 260 secs
lola: 29853585 markings, 83070364 edges, 106703 markings/sec, 265 secs
lola: 30385268 markings, 84551317 edges, 106337 markings/sec, 270 secs
lola: 30910697 markings, 86013506 edges, 105086 markings/sec, 275 secs
lola: 31430308 markings, 87458017 edges, 103922 markings/sec, 280 secs
lola: 31953399 markings, 88920560 edges, 104618 markings/sec, 285 secs
lola: 32481831 markings, 90397540 edges, 105686 markings/sec, 290 secs
lola: 33008006 markings, 91867486 edges, 105235 markings/sec, 295 secs
lola: 33524223 markings, 93309312 edges, 103243 markings/sec, 300 secs
lola: 34049576 markings, 94774441 edges, 105071 markings/sec, 305 secs
lola: 34577627 markings, 96244976 edges, 105610 markings/sec, 310 secs
lola: 35098296 markings, 97694880 edges, 104134 markings/sec, 315 secs
lola: 35615468 markings, 99134038 edges, 103434 markings/sec, 320 secs
lola: 36137185 markings, 100584310 edges, 104343 markings/sec, 325 secs
lola: 36655589 markings, 102030847 edges, 103681 markings/sec, 330 secs
lola: 37171868 markings, 103473127 edges, 103256 markings/sec, 335 secs
lola: 37689648 markings, 104920139 edges, 103556 markings/sec, 340 secs
lola: 38211453 markings, 106380478 edges, 104361 markings/sec, 345 secs
lola: 38735415 markings, 107841827 edges, 104792 markings/sec, 350 secs
lola: 39253951 markings, 109283914 edges, 103707 markings/sec, 355 secs
lola: 39772171 markings, 110734904 edges, 103644 markings/sec, 360 secs
lola: 40296520 markings, 112201067 edges, 104870 markings/sec, 365 secs
lola: 40820055 markings, 113659361 edges, 104707 markings/sec, 370 secs
lola: 41348461 markings, 115141789 edges, 105681 markings/sec, 375 secs
lola: 41862678 markings, 116574371 edges, 102843 markings/sec, 380 secs
lola: 42378576 markings, 118014882 edges, 103180 markings/sec, 385 secs
lola: 42890169 markings, 119451430 edges, 102319 markings/sec, 390 secs
lola: 43400181 markings, 120874478 edges, 102002 markings/sec, 395 secs
lola: 43913330 markings, 122309423 edges, 102630 markings/sec, 400 secs
lola: 44423899 markings, 123738469 edges, 102114 markings/sec, 405 secs
lola: 44940068 markings, 125185681 edges, 103234 markings/sec, 410 secs
lola: 45459867 markings, 126647421 edges, 103960 markings/sec, 415 secs
lola: 45977748 markings, 128093691 edges, 103576 markings/sec, 420 secs
lola: 46496559 markings, 129548799 edges, 103762 markings/sec, 425 secs
lola: 47017602 markings, 131012763 edges, 104209 markings/sec, 430 secs
lola: 47544018 markings, 132493758 edges, 105283 markings/sec, 435 secs
lola: 48075935 markings, 133991725 edges, 106383 markings/sec, 440 secs
lola: 48599404 markings, 135467835 edges, 104694 markings/sec, 445 secs
lola: 49131075 markings, 136975429 edges, 106334 markings/sec, 450 secs
lola: 49679399 markings, 138509877 edges, 109665 markings/sec, 455 secs
lola: 50209733 markings, 139991985 edges, 106067 markings/sec, 460 secs
lola: 50742110 markings, 141482139 edges, 106475 markings/sec, 465 secs
lola: 51276916 markings, 142977791 edges, 106961 markings/sec, 470 secs
lola: 51808605 markings, 144458411 edges, 106338 markings/sec, 475 secs
lola: 52348385 markings, 145961507 edges, 107956 markings/sec, 480 secs
lola: 52882873 markings, 147450904 edges, 106898 markings/sec, 485 secs
lola: 53421299 markings, 148952230 edges, 107685 markings/sec, 490 secs
lola: 53961542 markings, 150460568 edges, 108049 markings/sec, 495 secs
lola: 54505417 markings, 151974506 edges, 108775 markings/sec, 500 secs
lola: 55037330 markings, 153452904 edges, 106383 markings/sec, 505 secs
lola: 55570058 markings, 154932457 edges, 106546 markings/sec, 510 secs
lola: 56100577 markings, 156413598 edges, 106104 markings/sec, 515 secs
lola: 56631875 markings, 157897897 edges, 106260 markings/sec, 520 secs
lola: 57158806 markings, 159371348 edges, 105386 markings/sec, 525 secs
lola: 57692916 markings, 160868221 edges, 106822 markings/sec, 530 secs
lola: 58230821 markings, 162357354 edges, 107581 markings/sec, 535 secs
lola: 58761956 markings, 163843906 edges, 106227 markings/sec, 540 secs
lola: 59298607 markings, 165350268 edges, 107330 markings/sec, 545 secs
lola: 59834762 markings, 166837966 edges, 107231 markings/sec, 550 secs
lola: 60369353 markings, 168338354 edges, 106918 markings/sec, 555 secs
lola: 60908721 markings, 169839584 edges, 107874 markings/sec, 560 secs
lola: 61437530 markings, 171324718 edges, 105762 markings/sec, 565 secs
lola: 61959730 markings, 172780412 edges, 104440 markings/sec, 570 secs
lola: 62483988 markings, 174244230 edges, 104852 markings/sec, 575 secs
lola: 63008180 markings, 175708086 edges, 104838 markings/sec, 580 secs
lola: 63534285 markings, 177182157 edges, 105221 markings/sec, 585 secs
lola: 64057452 markings, 178647457 edges, 104633 markings/sec, 590 secs
lola: 64584264 markings, 180125022 edges, 105362 markings/sec, 595 secs
lola: 65115358 markings, 181616906 edges, 106219 markings/sec, 600 secs
lola: 65643501 markings, 183096214 edges, 105629 markings/sec, 605 secs
lola: 66172925 markings, 184582202 edges, 105885 markings/sec, 610 secs
lola: 66710691 markings, 186090835 edges, 107553 markings/sec, 615 secs
lola: 67247892 markings, 187602062 edges, 107440 markings/sec, 620 secs
lola: 67787772 markings, 189125024 edges, 107976 markings/sec, 625 secs
lola: 68322559 markings, 190637403 edges, 106957 markings/sec, 630 secs
lola: 68862891 markings, 192176897 edges, 108066 markings/sec, 635 secs
lola: 69385910 markings, 193632041 edges, 104604 markings/sec, 640 secs
lola: 69428364 markings, 193750528 edges, 8491 markings/sec, 645 secs
lola: 69433935 markings, 193766515 edges, 1114 markings/sec, 650 secs
lola: 69436820 markings, 193774477 edges, 577 markings/sec, 655 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N200-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: 200
lola: 607192 markings, 1518451 edges, 121438 markings/sec, 0 secs
lola: 1198954 markings, 3054051 edges, 118352 markings/sec, 5 secs
lola: 1747127 markings, 4585926 edges, 109635 markings/sec, 10 secs
lola: 2296207 markings, 6119387 edges, 109816 markings/sec, 15 secs
lola: 2841007 markings, 7639162 edges, 108960 markings/sec, 20 secs
lola: 3396298 markings, 9188489 edges, 111058 markings/sec, 25 secs
lola: 3933503 markings, 10684805 edges, 107441 markings/sec, 30 secs
lola: 4467379 markings, 12173493 edges, 106775 markings/sec, 35 secs
lola: 5011929 markings, 13691871 edges, 108910 markings/sec, 40 secs
lola: 5553588 markings, 15201913 edges, 108332 markings/sec, 45 secs
lola: 6097499 markings, 16715258 edges, 108782 markings/sec, 50 secs
lola: 6636913 markings, 18207459 edges, 107883 markings/sec, 55 secs
lola: 7174052 markings, 19637501 edges, 107428 markings/sec, 60 secs
lola: 7729956 markings, 21117721 edges, 111181 markings/sec, 65 secs
lola: 8292512 markings, 22615300 edges, 112511 markings/sec, 70 secs
lola: 8861411 markings, 24133341 edges, 113780 markings/sec, 75 secs
lola: 9411055 markings, 25613562 edges, 109929 markings/sec, 80 secs
lola: 9946637 markings, 27056103 edges, 107116 markings/sec, 85 secs
lola: 10478973 markings, 28489746 edges, 106467 markings/sec, 90 secs
lola: 11006838 markings, 29911261 edges, 105573 markings/sec, 95 secs
lola: 11532730 markings, 31327502 edges, 105178 markings/sec, 100 secs
lola: 12054328 markings, 32732438 edges, 104320 markings/sec, 105 secs
lola: 12575111 markings, 34134848 edges, 104157 markings/sec, 110 secs
lola: 13125343 markings, 35610397 edges, 110046 markings/sec, 115 secs
lola: 13694094 markings, 37124477 edges, 113750 markings/sec, 120 secs
lola: 14264247 markings, 38642693 edges, 114031 markings/sec, 125 secs
lola: 14841255 markings, 40178952 edges, 115402 markings/sec, 130 secs
lola: 15413228 markings, 41715001 edges, 114395 markings/sec, 135 secs
lola: 15962604 markings, 43194706 edges, 109875 markings/sec, 140 secs
lola: 16503791 markings, 44652077 edges, 108237 markings/sec, 145 secs
lola: 17038856 markings, 46093247 edges, 107013 markings/sec, 150 secs
lola: 17574375 markings, 47535304 edges, 107104 markings/sec, 155 secs
lola: 18106664 markings, 48968866 edges, 106458 markings/sec, 160 secs
lola: 18634626 markings, 50390929 edges, 105592 markings/sec, 165 secs
lola: 19169723 markings, 51838637 edges, 107019 markings/sec, 170 secs
lola: 19702978 markings, 53326175 edges, 106651 markings/sec, 175 secs
lola: 20221714 markings, 54775618 edges, 103747 markings/sec, 180 secs
lola: 20740851 markings, 56224825 edges, 103827 markings/sec, 185 secs
lola: 21260050 markings, 57673850 edges, 103840 markings/sec, 190 secs
lola: 21782306 markings, 59131963 edges, 104451 markings/sec, 195 secs
lola: 22317403 markings, 60618829 edges, 107019 markings/sec, 200 secs
lola: 22838006 markings, 62072133 edges, 104121 markings/sec, 205 secs
lola: 23354228 markings, 63511851 edges, 103244 markings/sec, 210 secs
lola: 23878067 markings, 64964550 edges, 104768 markings/sec, 215 secs
lola: 24427655 markings, 66501909 edges, 109918 markings/sec, 220 secs
lola: 24950807 markings, 67961848 edges, 104630 markings/sec, 225 secs
lola: 25476870 markings, 69428463 edges, 105213 markings/sec, 230 secs
lola: 25990195 markings, 70854843 edges, 102665 markings/sec, 235 secs
lola: 26517071 markings, 72316946 edges, 105375 markings/sec, 240 secs
lola: 27063937 markings, 73835732 edges, 109373 markings/sec, 245 secs
lola: 27613732 markings, 75373965 edges, 109959 markings/sec, 250 secs
lola: 28141559 markings, 76848516 edges, 105565 markings/sec, 255 secs
lola: 28666494 markings, 78320202 edges, 104987 markings/sec, 260 secs
lola: 29181862 markings, 79760170 edges, 103074 markings/sec, 265 secs
lola: 29699119 markings, 81204428 edges, 103451 markings/sec, 270 secs
lola: 30213365 markings, 82639945 edges, 102849 markings/sec, 275 secs
lola: 30736163 markings, 84097821 edges, 104560 markings/sec, 280 secs
lola: 31257694 markings, 85553003 edges, 104306 markings/sec, 285 secs
lola: 31768577 markings, 86979450 edges, 102177 markings/sec, 290 secs
lola: 32280294 markings, 88406674 edges, 102343 markings/sec, 295 secs
lola: 32807816 markings, 89872468 edges, 105504 markings/sec, 300 secs
lola: 33320265 markings, 91302518 edges, 102490 markings/sec, 305 secs
lola: 33823277 markings, 92707935 edges, 100602 markings/sec, 310 secs
lola: 34323158 markings, 94105616 edges, 99976 markings/sec, 315 secs
lola: 34826208 markings, 95511137 edges, 100610 markings/sec, 320 secs
lola: 35342799 markings, 96947354 edges, 103318 markings/sec, 325 secs
lola: 35875266 markings, 98437426 edges, 106493 markings/sec, 330 secs
lola: 36395449 markings, 99886370 edges, 104037 markings/sec, 335 secs
lola: 36926434 markings, 101364705 edges, 106197 markings/sec, 340 secs
lola: 37451487 markings, 102819251 edges, 105011 markings/sec, 345 secs
lola: 38012520 markings, 104314192 edges, 112207 markings/sec, 350 secs
lola: 38574580 markings, 105810713 edges, 112412 markings/sec, 355 secs
lola: 39138998 markings, 107313455 edges, 112884 markings/sec, 360 secs
lola: 39712058 markings, 108842215 edges, 114612 markings/sec, 365 secs
lola: 40262783 markings, 110325437 edges, 110145 markings/sec, 370 secs
lola: 40801249 markings, 111775506 edges, 107693 markings/sec, 375 secs
lola: 41333378 markings, 113208770 edges, 106426 markings/sec, 380 secs
lola: 41863837 markings, 114637316 edges, 106092 markings/sec, 385 secs
lola: 42394864 markings, 116067352 edges, 106205 markings/sec, 390 secs
lola: 42917764 markings, 117475634 edges, 104580 markings/sec, 395 secs
lola: 43443042 markings, 118890262 edges, 105056 markings/sec, 400 secs
lola: 43964861 markings, 120319600 edges, 104364 markings/sec, 405 secs
lola: 44468303 markings, 121715362 edges, 100688 markings/sec, 410 secs
lola: 44990986 markings, 123181450 edges, 104537 markings/sec, 415 secs
lola: 45515228 markings, 124646206 edges, 104848 markings/sec, 420 secs
lola: 46037019 markings, 126106598 edges, 104358 markings/sec, 425 secs
lola: 46538303 markings, 127503751 edges, 100257 markings/sec, 430 secs
lola: 47043600 markings, 128916132 edges, 101059 markings/sec, 435 secs
lola: 47546699 markings, 130319858 edges, 100620 markings/sec, 440 secs
lola: 48055332 markings, 131739740 edges, 101727 markings/sec, 445 secs
lola: 48568642 markings, 133168560 edges, 102662 markings/sec, 450 secs
lola: 49070038 markings, 134563772 edges, 100279 markings/sec, 455 secs
lola: 49576451 markings, 135974757 edges, 101283 markings/sec, 460 secs
lola: 50092314 markings, 137404543 edges, 103173 markings/sec, 465 secs
lola: 50593086 markings, 138797611 edges, 100154 markings/sec, 470 secs
lola: 51098468 markings, 140201768 edges, 101076 markings/sec, 475 secs
lola: 51638651 markings, 141694357 edges, 108037 markings/sec, 480 secs
lola: 52157799 markings, 143139838 edges, 103830 markings/sec, 485 secs
lola: 52675271 markings, 144584308 edges, 103494 markings/sec, 490 secs
lola: 53194291 markings, 146034230 edges, 103804 markings/sec, 495 secs
lola: 53719706 markings, 147500525 edges, 105083 markings/sec, 500 secs
lola: 54253839 markings, 148986471 edges, 106827 markings/sec, 505 secs
lola: 54763718 markings, 150410237 edges, 101976 markings/sec, 510 secs
lola: 55289402 markings, 151875152 edges, 105137 markings/sec, 515 secs
lola: 55807066 markings, 153319068 edges, 103533 markings/sec, 520 secs
lola: 56333271 markings, 154784175 edges, 105241 markings/sec, 525 secs
lola: 56862526 markings, 156257453 edges, 105851 markings/sec, 530 secs
lola: 57395084 markings, 157706580 edges, 106512 markings/sec, 535 secs
lola: 57930827 markings, 159132970 edges, 107149 markings/sec, 540 secs
lola: 58474175 markings, 160579720 edges, 108670 markings/sec, 545 secs
lola: 59021202 markings, 162036008 edges, 109405 markings/sec, 550 secs
lola: 59572347 markings, 163511753 edges, 110229 markings/sec, 555 secs
lola: 60100156 markings, 164933064 edges, 105562 markings/sec, 560 secs
lola: 60620398 markings, 166334166 edges, 104048 markings/sec, 565 secs
lola: 61136472 markings, 167724049 edges, 103215 markings/sec, 570 secs
lola: 61650499 markings, 169108546 edges, 102805 markings/sec, 575 secs
lola: 62162207 markings, 170486677 edges, 102342 markings/sec, 580 secs
lola: 62668822 markings, 171850983 edges, 101323 markings/sec, 585 secs
lola: 63175492 markings, 173215416 edges, 101334 markings/sec, 590 secs
lola: 63723412 markings, 174682495 edges, 109584 markings/sec, 595 secs
lola: 64291609 markings, 176195375 edges, 113639 markings/sec, 600 secs
lola: 64856278 markings, 177698885 edges, 112934 markings/sec, 605 secs
lola: 65429811 markings, 179225722 edges, 114707 markings/sec, 610 secs
lola: 65993497 markings, 180741796 edges, 112737 markings/sec, 615 secs
lola: 66536921 markings, 182205227 edges, 108685 markings/sec, 620 secs
lola: 67000216 markings, 183453105 edges, 92659 markings/sec, 625 secs
lola: 67014667 markings, 183491933 edges, 2890 markings/sec, 630 secs
lola: 67022077 markings, 183511934 edges, 1482 markings/sec, 635 secs
lola: 67026348 markings, 183523563 edges, 854 markings/sec, 640 secs
lola: 67044409 markings, 183572056 edges, 3612 markings/sec, 645 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA Diffusion2D-PT-D05N200-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N200-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: 200
lola: 621955 markings, 1526835 edges, 124391 markings/sec, 0 secs
lola: 1234547 markings, 3030660 edges, 122518 markings/sec, 5 secs
lola: 1871703 markings, 4577187 edges, 127431 markings/sec, 10 secs
lola: 2486874 markings, 6079095 edges, 123034 markings/sec, 15 secs
lola: 3091745 markings, 7566325 edges, 120974 markings/sec, 20 secs
lola: 3683130 markings, 9014338 edges, 118277 markings/sec, 25 secs
lola: 4282986 markings, 10486501 edges, 119971 markings/sec, 30 secs
lola: 4881178 markings, 11950947 edges, 119638 markings/sec, 35 secs
lola: 5474640 markings, 13401310 edges, 118692 markings/sec, 40 secs
lola: 6054538 markings, 14816484 edges, 115980 markings/sec, 45 secs
lola: 6655034 markings, 16272430 edges, 120099 markings/sec, 50 secs
lola: 7243048 markings, 17713532 edges, 117603 markings/sec, 55 secs
lola: 7825324 markings, 19138099 edges, 116455 markings/sec, 60 secs
lola: 8398718 markings, 20534229 edges, 114679 markings/sec, 65 secs
lola: 8996592 markings, 21998356 edges, 119575 markings/sec, 70 secs
lola: 9592787 markings, 23452421 edges, 119239 markings/sec, 75 secs
lola: 10183254 markings, 24894888 edges, 118093 markings/sec, 80 secs
lola: 10775340 markings, 26332243 edges, 118417 markings/sec, 85 secs
lola: 11368803 markings, 27778105 edges, 118693 markings/sec, 90 secs
lola: 11945819 markings, 29191341 edges, 115403 markings/sec, 95 secs
lola: 12530093 markings, 30606687 edges, 116855 markings/sec, 100 secs
lola: 13107560 markings, 32013848 edges, 115493 markings/sec, 105 secs
lola: 13683504 markings, 33409571 edges, 115189 markings/sec, 110 secs
lola: 14254008 markings, 34812233 edges, 114101 markings/sec, 115 secs
lola: 14827119 markings, 36217835 edges, 114622 markings/sec, 120 secs
lola: 15445153 markings, 37724301 edges, 123607 markings/sec, 125 secs
lola: 16061088 markings, 39221644 edges, 123187 markings/sec, 130 secs
lola: 16690843 markings, 40751677 edges, 125951 markings/sec, 135 secs
lola: 17296074 markings, 42237245 edges, 121046 markings/sec, 140 secs
lola: 17892806 markings, 43694722 edges, 119346 markings/sec, 145 secs
lola: 18494979 markings, 45172418 edges, 120435 markings/sec, 150 secs
lola: 19097107 markings, 46659512 edges, 120426 markings/sec, 155 secs
lola: 19709233 markings, 48154434 edges, 122425 markings/sec, 160 secs
lola: 20317011 markings, 49639632 edges, 121556 markings/sec, 165 secs
lola: 20907274 markings, 51081552 edges, 118053 markings/sec, 170 secs
lola: 21508348 markings, 52537430 edges, 120215 markings/sec, 175 secs
lola: 22100840 markings, 53979916 edges, 118498 markings/sec, 180 secs
lola: 22701677 markings, 55450876 edges, 120167 markings/sec, 185 secs
lola: 23284992 markings, 56873708 edges, 116663 markings/sec, 190 secs
lola: 23875112 markings, 58310223 edges, 118024 markings/sec, 195 secs
lola: 24451435 markings, 59722888 edges, 115265 markings/sec, 200 secs
lola: 25015065 markings, 61099220 edges, 112726 markings/sec, 205 secs
lola: 25574409 markings, 62460365 edges, 111869 markings/sec, 210 secs
lola: 26128873 markings, 63818667 edges, 110893 markings/sec, 215 secs
lola: 26686681 markings, 65186950 edges, 111562 markings/sec, 220 secs
lola: 27256390 markings, 66571117 edges, 113942 markings/sec, 225 secs
lola: 27831908 markings, 67990695 edges, 115104 markings/sec, 230 secs
lola: 28407027 markings, 69391572 edges, 115024 markings/sec, 235 secs
lola: 28988287 markings, 70811717 edges, 116252 markings/sec, 240 secs
lola: 29561471 markings, 72217057 edges, 114637 markings/sec, 245 secs
lola: 30132660 markings, 73609482 edges, 114238 markings/sec, 250 secs
lola: 30698293 markings, 74993017 edges, 113127 markings/sec, 255 secs
lola: 31270665 markings, 76393260 edges, 114474 markings/sec, 260 secs
lola: 31848444 markings, 77810104 edges, 115556 markings/sec, 265 secs
lola: 32433328 markings, 79236441 edges, 116977 markings/sec, 270 secs
lola: 33010623 markings, 80658469 edges, 115459 markings/sec, 275 secs
lola: 33576350 markings, 82049225 edges, 113145 markings/sec, 280 secs
lola: 34142703 markings, 83429590 edges, 113271 markings/sec, 285 secs
lola: 34724359 markings, 84846118 edges, 116331 markings/sec, 290 secs
lola: 35291313 markings, 86223169 edges, 113391 markings/sec, 295 secs
lola: 35865562 markings, 87629584 edges, 114850 markings/sec, 300 secs
lola: 36438649 markings, 89028764 edges, 114617 markings/sec, 305 secs
lola: 37015464 markings, 90446712 edges, 115363 markings/sec, 310 secs
lola: 37589698 markings, 91856089 edges, 114847 markings/sec, 315 secs
lola: 38155721 markings, 93235584 edges, 113205 markings/sec, 320 secs
lola: 38719843 markings, 94608429 edges, 112824 markings/sec, 325 secs
lola: 39286879 markings, 95990441 edges, 113407 markings/sec, 330 secs
lola: 39862693 markings, 97390702 edges, 115163 markings/sec, 335 secs
lola: time limit reached - aborting
lola:
preliminary result: 200 200 200 200 200 200 200 unknown unknown unknown 200 200 200 unknown 200 unknown
lola:
preliminary result: 200 200 200 200 200 200 200 unknown unknown unknown 200 200 200 unknown 200 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 200 200 200 200 200 200 200 unknown unknown unknown 200 200 200 unknown 200 unknown
lola: memory consumption: 13048 KB
lola: time consumption: 3570 seconds

BK_STOP 1552912776422

--------------------
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="Diffusion2D-PT-D05N200"
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 Diffusion2D-PT-D05N200, 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 r066-ebro-155234666400013"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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