Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
................
/home/mcc/execution
total 440K
-rw-r--r-- 1 mcc users 4.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 8 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 255K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Diffusion2D-PT-D10N010, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r076-blw3-152649936900170
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526651689938

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D10N010 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D10N010 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D10N010 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 784/65536 symbol table entries, 37 collisions
lola: preprocessing...
lola: Size of bit vector: 3200
lola: finding significant places
lola: 100 places, 684 transitions, 99 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 100 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D10N010-UpperBounds.task
lola: MAX(cAMP__10_4_) : MAX(cAMP__6_3_) : MAX(cAMP__1_1_) : MAX(cAMP__10_10_) : MAX(cAMP__4_4_) : MAX(cAMP__9_10_) : MAX(cAMP__5_6_) : MAX(cAMP__9_8_) : MAX(cAMP__9_4_) : MAX(cAMP__4_6_) : MAX(cAMP__4_3_) : MAX(cAMP__1_1_) : MAX(cAMP__3_9_) : MAX(cAMP__3_3_) : MAX(cAMP__5_3_) : MAX(cAMP__10_9_)
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__10_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_4_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 287286 markings, 922777 edges, 57457 markings/sec, 0 secs
lola: 596815 markings, 1915948 edges, 61906 markings/sec, 5 secs
lola: 903357 markings, 2935751 edges, 61308 markings/sec, 10 secs
lola: 1210902 markings, 3986339 edges, 61509 markings/sec, 15 secs
lola: 1504503 markings, 4984495 edges, 58720 markings/sec, 20 secs
lola: 1769916 markings, 5892450 edges, 53083 markings/sec, 25 secs
lola: 2028261 markings, 6755507 edges, 51669 markings/sec, 30 secs
lola: 2289550 markings, 7648773 edges, 52258 markings/sec, 35 secs
lola: 2582069 markings, 8642592 edges, 58504 markings/sec, 40 secs
lola: 2880534 markings, 9636840 edges, 59693 markings/sec, 45 secs
lola: 3174632 markings, 10642704 edges, 58820 markings/sec, 50 secs
lola: 3467541 markings, 11634811 edges, 58582 markings/sec, 55 secs
lola: 3761589 markings, 12641157 edges, 58810 markings/sec, 60 secs
lola: 4055266 markings, 13650697 edges, 58735 markings/sec, 65 secs
lola: 4352693 markings, 14659407 edges, 59485 markings/sec, 70 secs
lola: 4647245 markings, 15670186 edges, 58910 markings/sec, 75 secs
lola: 4942395 markings, 16686157 edges, 59030 markings/sec, 80 secs
lola: 5237867 markings, 17712670 edges, 59094 markings/sec, 85 secs
lola: 5534606 markings, 18734880 edges, 59348 markings/sec, 90 secs
lola: 5830826 markings, 19751288 edges, 59244 markings/sec, 95 secs
lola: 6126827 markings, 20754018 edges, 59200 markings/sec, 100 secs
lola: 6422298 markings, 21774939 edges, 59094 markings/sec, 105 secs
lola: 6722247 markings, 22801529 edges, 59990 markings/sec, 110 secs
lola: 7024308 markings, 23844890 edges, 60412 markings/sec, 115 secs
lola: 7316985 markings, 24830106 edges, 58535 markings/sec, 120 secs
lola: 7611139 markings, 25823147 edges, 58831 markings/sec, 125 secs
lola: 7905392 markings, 26827975 edges, 58851 markings/sec, 130 secs
lola: 8200366 markings, 27832472 edges, 58995 markings/sec, 135 secs
lola: 8489530 markings, 28840513 edges, 57833 markings/sec, 140 secs
lola: 8783228 markings, 29831543 edges, 58740 markings/sec, 145 secs
lola: 9076980 markings, 30833392 edges, 58750 markings/sec, 150 secs
lola: 9369248 markings, 31823921 edges, 58454 markings/sec, 155 secs
lola: 9661136 markings, 32808598 edges, 58378 markings/sec, 160 secs
lola: 9952901 markings, 33809568 edges, 58353 markings/sec, 165 secs
lola: 10248925 markings, 34791828 edges, 59205 markings/sec, 170 secs
lola: 10540537 markings, 35797422 edges, 58322 markings/sec, 175 secs
lola: 10834327 markings, 36795191 edges, 58758 markings/sec, 180 secs
lola: 11128355 markings, 37781349 edges, 58806 markings/sec, 185 secs
lola: 11420547 markings, 38767388 edges, 58438 markings/sec, 190 secs
lola: 11713331 markings, 39749417 edges, 58557 markings/sec, 195 secs
lola: 12008602 markings, 40707570 edges, 59054 markings/sec, 200 secs
lola: 12302465 markings, 41665416 edges, 58773 markings/sec, 205 secs
lola: 12596570 markings, 42648601 edges, 58821 markings/sec, 210 secs
lola: 12887880 markings, 43648871 edges, 58262 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3751216 KB
lola: time consumption: 223 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 300545 markings, 900232 edges, 60109 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 440850 markings, 1326301 edges
lola: ========================================

FORMULA Diffusion2D-PT-D10N010-UpperBounds-1 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 238 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-D10N010-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: 311841 markings, 1107282 edges, 62368 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 604195 markings, 2174413 edges
lola: ========================================

FORMULA Diffusion2D-PT-D10N010-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(cAMP__10_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_10_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 326096 markings, 866862 edges, 65219 markings/sec, 0 secs
lola: 655113 markings, 1755213 edges, 65803 markings/sec, 5 secs
lola: 985767 markings, 2642587 edges, 66131 markings/sec, 10 secs
lola: 1312222 markings, 3522178 edges, 65291 markings/sec, 15 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 1410980 markings, 3793603 edges

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

FORMULA Diffusion2D-PT-D10N010-UpperBounds-4 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_10_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 157332 markings, 506191 edges
lola: ========================================

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

FORMULA Diffusion2D-PT-D10N010-UpperBounds-6 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_8_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 309143 markings, 1030448 edges, 61829 markings/sec, 0 secs
lola: 607512 markings, 2081084 edges, 59674 markings/sec, 5 secs
lola: 909637 markings, 3110568 edges, 60425 markings/sec, 10 secs
lola: 1213683 markings, 4147377 edges, 60809 markings/sec, 15 secs
lola: 1513786 markings, 5169189 edges, 60021 markings/sec, 20 secs
lola: 1813307 markings, 6194917 edges, 59904 markings/sec, 25 secs
lola: 2111812 markings, 7236323 edges, 59701 markings/sec, 30 secs
lola: 2407285 markings, 8260539 edges, 59095 markings/sec, 35 secs
lola: 2700217 markings, 9310274 edges, 58586 markings/sec, 40 secs
lola: 2991838 markings, 10359761 edges, 58324 markings/sec, 45 secs
lola: 3284666 markings, 11386564 edges, 58566 markings/sec, 50 secs
lola: 3561867 markings, 12353949 edges, 55440 markings/sec, 55 secs
lola: 3859550 markings, 13381950 edges, 59537 markings/sec, 60 secs
lola: 4139434 markings, 14357421 edges, 55977 markings/sec, 65 secs
lola: 4432931 markings, 15391508 edges, 58699 markings/sec, 70 secs
lola: 4725393 markings, 16429075 edges, 58492 markings/sec, 75 secs
lola: 5015228 markings, 17454325 edges, 57967 markings/sec, 80 secs
lola: 5306921 markings, 18500400 edges, 58339 markings/sec, 85 secs
lola: 5599397 markings, 19522856 edges, 58495 markings/sec, 90 secs
lola: 5889612 markings, 20541449 edges, 58043 markings/sec, 95 secs
lola: 6179028 markings, 21544746 edges, 57883 markings/sec, 100 secs
lola: 6461656 markings, 22566481 edges, 56526 markings/sec, 105 secs
lola: 6746265 markings, 23588882 edges, 56922 markings/sec, 110 secs
lola: 7033800 markings, 24604943 edges, 57507 markings/sec, 115 secs
lola: 7322774 markings, 25616975 edges, 57795 markings/sec, 120 secs
lola: 7622970 markings, 26658543 edges, 60039 markings/sec, 125 secs
lola: 7920918 markings, 27704518 edges, 59590 markings/sec, 130 secs
lola: 8208886 markings, 28722920 edges, 57594 markings/sec, 135 secs
lola: 8495170 markings, 29719388 edges, 57257 markings/sec, 140 secs
lola: 8783554 markings, 30723188 edges, 57677 markings/sec, 145 secs
lola: 9073029 markings, 31720111 edges, 57895 markings/sec, 150 secs
lola: 9362119 markings, 32723250 edges, 57818 markings/sec, 155 secs
lola: 9651594 markings, 33736174 edges, 57895 markings/sec, 160 secs
lola: 9942166 markings, 34770867 edges, 58114 markings/sec, 165 secs
lola: 10228200 markings, 35772772 edges, 57207 markings/sec, 170 secs
lola: 10516123 markings, 36787322 edges, 57585 markings/sec, 175 secs
lola: 10798871 markings, 37787685 edges, 56550 markings/sec, 180 secs
lola: 11085690 markings, 38786941 edges, 57364 markings/sec, 185 secs
lola: 11382615 markings, 39815218 edges, 59385 markings/sec, 190 secs
lola: 11675656 markings, 40850926 edges, 58608 markings/sec, 195 secs
lola: 11966434 markings, 41907227 edges, 58156 markings/sec, 200 secs
lola: 12254910 markings, 42943601 edges, 57695 markings/sec, 205 secs
lola: 12542996 markings, 43942162 edges, 57617 markings/sec, 210 secs
lola: 12831147 markings, 44934616 edges, 57630 markings/sec, 215 secs
lola: 13123382 markings, 45929482 edges, 58447 markings/sec, 220 secs
lola: 13424997 markings, 46985979 edges, 60323 markings/sec, 225 secs
lola: 13722450 markings, 48040290 edges, 59491 markings/sec, 230 secs
lola: 14016786 markings, 49095957 edges, 58867 markings/sec, 235 secs
lola: 14305260 markings, 50107683 edges, 57695 markings/sec, 240 secs
lola: 14588920 markings, 51112299 edges, 56732 markings/sec, 245 secs
lola: 14868331 markings, 52119793 edges, 55882 markings/sec, 250 secs
lola: 15147138 markings, 53116778 edges, 55761 markings/sec, 255 secs
lola: 15435763 markings, 54127176 edges, 57725 markings/sec, 260 secs
lola: 15722446 markings, 55120733 edges, 57337 markings/sec, 265 secs
lola: 16003129 markings, 56133084 edges, 56137 markings/sec, 270 secs
lola: 16286968 markings, 57143155 edges, 56768 markings/sec, 275 secs
lola: 16574689 markings, 58137851 edges, 57544 markings/sec, 280 secs
lola: 16858465 markings, 59145832 edges, 56755 markings/sec, 285 secs
lola: 17141147 markings, 60147896 edges, 56536 markings/sec, 290 secs
lola: 17423333 markings, 61164436 edges, 56437 markings/sec, 295 secs
lola: 17708177 markings, 62182560 edges, 56969 markings/sec, 300 secs
lola: 18001293 markings, 63198842 edges, 58623 markings/sec, 305 secs
lola: 18295690 markings, 64220626 edges, 58879 markings/sec, 310 secs
lola: 18585503 markings, 65235230 edges, 57963 markings/sec, 315 secs
lola: 18873882 markings, 66268787 edges, 57676 markings/sec, 320 secs
lola: 19161021 markings, 67272366 edges, 57428 markings/sec, 325 secs
lola: 19446487 markings, 68282108 edges, 57093 markings/sec, 330 secs
lola: 19731609 markings, 69298944 edges, 57024 markings/sec, 335 secs
lola: 20020908 markings, 70277011 edges, 57860 markings/sec, 340 secs
lola: 20311142 markings, 71277559 edges, 58047 markings/sec, 345 secs
lola: 20599091 markings, 72272345 edges, 57590 markings/sec, 350 secs
lola: 20885459 markings, 73278865 edges, 57274 markings/sec, 355 secs
lola: 21176165 markings, 74278664 edges, 58141 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 10 10 10 10 10 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6392056 KB
lola: time consumption: 631 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 306351 markings, 973474 edges, 61270 markings/sec, 0 secs
lola: 609296 markings, 1931181 edges, 60589 markings/sec, 5 secs
lola: 912731 markings, 2884188 edges, 60687 markings/sec, 10 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 1133314 markings, 3592547 edges

FORMULA Diffusion2D-PT-D10N010-UpperBounds-8 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 417 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_6_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 234 markings, 555 edges

FORMULA Diffusion2D-PT-D10N010-UpperBounds-9 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 486 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-D10N010-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: ========================================
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 169753 markings, 498035 edges

FORMULA Diffusion2D-PT-D10N010-UpperBounds-10 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 583 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-D10N010-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: ========================================
lola: Structural Bound: 10
lola: 314396 markings, 1116261 edges, 62879 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 604195 markings, 2174413 edges
lola: ========================================

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

FORMULA Diffusion2D-PT-D10N010-UpperBounds-12 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 966 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 73304 markings, 214499 edges

FORMULA Diffusion2D-PT-D10N010-UpperBounds-13 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1449 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 169753 markings, 498035 edges

FORMULA Diffusion2D-PT-D10N010-UpperBounds-14 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 2896 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_9_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 316906 markings, 936694 edges, 63381 markings/sec, 0 secs
lola: 634858 markings, 1870552 edges, 63590 markings/sec, 5 secs
lola: 951054 markings, 2809216 edges, 63239 markings/sec, 10 secs
lola: 1266019 markings, 3730473 edges, 62993 markings/sec, 15 secs
lola: 1581661 markings, 4662453 edges, 63128 markings/sec, 20 secs
lola: 1891466 markings, 5581906 edges, 61961 markings/sec, 25 secs
lola: 2208546 markings, 6514635 edges, 63416 markings/sec, 30 secs
lola: 2520972 markings, 7437239 edges, 62485 markings/sec, 35 secs
lola: 2832947 markings, 8352733 edges, 62395 markings/sec, 40 secs
lola: 3144828 markings, 9275742 edges, 62376 markings/sec, 45 secs
lola: 3454769 markings, 10197343 edges, 61988 markings/sec, 50 secs
lola: 3760361 markings, 11135487 edges, 61118 markings/sec, 55 secs
lola: 4057220 markings, 12006020 edges, 59372 markings/sec, 60 secs
lola: 4354474 markings, 12885503 edges, 59451 markings/sec, 65 secs
lola: 4661010 markings, 13787669 edges, 61307 markings/sec, 70 secs
lola: 4951132 markings, 14643436 edges, 58024 markings/sec, 75 secs
lola: 5256705 markings, 15547291 edges, 61115 markings/sec, 80 secs
lola: 5564027 markings, 16457754 edges, 61464 markings/sec, 85 secs
lola: 5866797 markings, 17353403 edges, 60554 markings/sec, 90 secs
lola: 6170965 markings, 18256461 edges, 60834 markings/sec, 95 secs
lola: 6474775 markings, 19150614 edges, 60762 markings/sec, 100 secs
lola: 6780000 markings, 20050330 edges, 61045 markings/sec, 105 secs
lola: 7086793 markings, 20952157 edges, 61359 markings/sec, 110 secs
lola: 7386327 markings, 21852635 edges, 59907 markings/sec, 115 secs
lola: 7687868 markings, 22747901 edges, 60308 markings/sec, 120 secs
lola: 7981295 markings, 23612505 edges, 58685 markings/sec, 125 secs
lola: 8290866 markings, 24529522 edges, 61914 markings/sec, 130 secs
lola: 8598787 markings, 25441710 edges, 61584 markings/sec, 135 secs
lola: 8908058 markings, 26352624 edges, 61854 markings/sec, 140 secs
lola: 9215403 markings, 27260568 edges, 61469 markings/sec, 145 secs
lola: 9522535 markings, 28161698 edges, 61426 markings/sec, 150 secs
lola: 9830037 markings, 29064774 edges, 61500 markings/sec, 155 secs
lola: 10134315 markings, 29970549 edges, 60856 markings/sec, 160 secs
lola: 10424973 markings, 30842663 edges, 58132 markings/sec, 165 secs
lola: 10731528 markings, 31762655 edges, 61311 markings/sec, 170 secs
lola: 11042354 markings, 32680453 edges, 62165 markings/sec, 175 secs
lola: 11355526 markings, 33606142 edges, 62634 markings/sec, 180 secs
lola: 11667270 markings, 34525880 edges, 62349 markings/sec, 185 secs
lola: 11976771 markings, 35456780 edges, 61900 markings/sec, 190 secs
lola: 12288072 markings, 36397082 edges, 62260 markings/sec, 195 secs
lola: 12601444 markings, 37318788 edges, 62674 markings/sec, 200 secs
lola: 12908422 markings, 38220423 edges, 61396 markings/sec, 205 secs
lola: 13212776 markings, 39116185 edges, 60871 markings/sec, 210 secs
lola: 13516405 markings, 40011160 edges, 60726 markings/sec, 215 secs
lola: 13804401 markings, 40860677 edges, 57599 markings/sec, 220 secs
lola: 14109690 markings, 41759862 edges, 61058 markings/sec, 225 secs
lola: 14413873 markings, 42660003 edges, 60837 markings/sec, 230 secs
lola: 14716949 markings, 43557088 edges, 60615 markings/sec, 235 secs
lola: 15022922 markings, 44459929 edges, 61195 markings/sec, 240 secs
lola: 15313043 markings, 45324134 edges, 58024 markings/sec, 245 secs
lola: 15614224 markings, 46211074 edges, 60236 markings/sec, 250 secs
lola: 15917540 markings, 47105943 edges, 60663 markings/sec, 255 secs
lola: 16219362 markings, 47999756 edges, 60364 markings/sec, 260 secs
lola: 16522978 markings, 48888900 edges, 60723 markings/sec, 265 secs
lola: 16824312 markings, 49781329 edges, 60267 markings/sec, 270 secs
lola: 17127304 markings, 50674000 edges, 60598 markings/sec, 275 secs
lola: 17428695 markings, 51564983 edges, 60278 markings/sec, 280 secs
lola: 17742286 markings, 52486366 edges, 62718 markings/sec, 285 secs
lola: 18054647 markings, 53408544 edges, 62472 markings/sec, 290 secs
lola: 18364821 markings, 54322131 edges, 62035 markings/sec, 295 secs
lola: 18675492 markings, 55245280 edges, 62134 markings/sec, 300 secs
lola: 18977777 markings, 56140040 edges, 60457 markings/sec, 305 secs
lola: 19276791 markings, 57021074 edges, 59803 markings/sec, 310 secs
lola: 19575404 markings, 57894410 edges, 59723 markings/sec, 315 secs
lola: 19881985 markings, 58796970 edges, 61316 markings/sec, 320 secs
lola: 20188301 markings, 59696574 edges, 61263 markings/sec, 325 secs
lola: 20494892 markings, 60606732 edges, 61318 markings/sec, 330 secs
lola: 20794925 markings, 61490952 edges, 60007 markings/sec, 335 secs
lola: 21098742 markings, 62387841 edges, 60763 markings/sec, 340 secs
lola: 21405294 markings, 63299319 edges, 61310 markings/sec, 345 secs
lola: 21706754 markings, 64187578 edges, 60292 markings/sec, 350 secs
lola: 22008326 markings, 65084192 edges, 60314 markings/sec, 355 secs
lola: 22307023 markings, 66006081 edges, 59739 markings/sec, 360 secs
lola: 22603751 markings, 66896748 edges, 59346 markings/sec, 365 secs
lola: 22908013 markings, 67796455 edges, 60852 markings/sec, 370 secs
lola: 23222548 markings, 68729325 edges, 62907 markings/sec, 375 secs
lola: 23537841 markings, 69659697 edges, 63059 markings/sec, 380 secs
lola: 23851660 markings, 70595879 edges, 62764 markings/sec, 385 secs
lola: 24163401 markings, 71514984 edges, 62348 markings/sec, 390 secs
lola: 24458107 markings, 72381100 edges, 58941 markings/sec, 395 secs
lola: 24766886 markings, 73293490 edges, 61756 markings/sec, 400 secs
lola: 25063775 markings, 74166089 edges, 59378 markings/sec, 405 secs
lola: 25368823 markings, 75081287 edges, 61010 markings/sec, 410 secs
lola: 25678743 markings, 75993263 edges, 61984 markings/sec, 415 secs
lola: 25982611 markings, 76893153 edges, 60774 markings/sec, 420 secs
lola: 26286120 markings, 77788354 edges, 60702 markings/sec, 425 secs
lola: 26590825 markings, 78686885 edges, 60941 markings/sec, 430 secs
lola: 26895170 markings, 79585537 edges, 60869 markings/sec, 435 secs
lola: 27199576 markings, 80481900 edges, 60881 markings/sec, 440 secs
lola: 27504902 markings, 81378678 edges, 61065 markings/sec, 445 secs
lola: 27807917 markings, 82283433 edges, 60603 markings/sec, 450 secs
lola: 28111008 markings, 83177842 edges, 60618 markings/sec, 455 secs
lola: 28418157 markings, 84077904 edges, 61430 markings/sec, 460 secs
lola: 28725115 markings, 84983587 edges, 61392 markings/sec, 465 secs
lola: 29031052 markings, 85890017 edges, 61187 markings/sec, 470 secs
lola: 29335324 markings, 86779206 edges, 60854 markings/sec, 475 secs
lola: 29638673 markings, 87676543 edges, 60670 markings/sec, 480 secs
lola: 29939063 markings, 88564203 edges, 60078 markings/sec, 485 secs
lola: 30239655 markings, 89475552 edges, 60118 markings/sec, 490 secs
lola: 30543374 markings, 90368393 edges, 60744 markings/sec, 495 secs
lola: 30848378 markings, 91271303 edges, 61001 markings/sec, 500 secs
lola: 31147559 markings, 92159036 edges, 59836 markings/sec, 505 secs
lola: 31447361 markings, 93040781 edges, 59960 markings/sec, 510 secs
lola: 31743832 markings, 93908480 edges, 59294 markings/sec, 515 secs
lola: 32043007 markings, 94786650 edges, 59835 markings/sec, 520 secs
lola: 32347277 markings, 95688015 edges, 60854 markings/sec, 525 secs
lola: 32653128 markings, 96595887 edges, 61170 markings/sec, 530 secs
lola: 32960966 markings, 97503116 edges, 61568 markings/sec, 535 secs
lola: 33266214 markings, 98403355 edges, 61050 markings/sec, 540 secs
lola: 33570131 markings, 99307419 edges, 60783 markings/sec, 545 secs
lola: 33877283 markings, 100211615 edges, 61430 markings/sec, 550 secs
lola: 34181963 markings, 101114248 edges, 60936 markings/sec, 555 secs
lola: 34488528 markings, 102019079 edges, 61313 markings/sec, 560 secs
lola: 34799157 markings, 102934771 edges, 62126 markings/sec, 565 secs
lola: 35103092 markings, 103847446 edges, 60787 markings/sec, 570 secs
lola: 35384423 markings, 104676396 edges, 56266 markings/sec, 575 secs
lola: 35680637 markings, 105555049 edges, 59243 markings/sec, 580 secs
lola: 35987776 markings, 106461782 edges, 61428 markings/sec, 585 secs
lola: 36263625 markings, 107281990 edges, 55170 markings/sec, 590 secs
lola: 36566721 markings, 108181934 edges, 60619 markings/sec, 595 secs
lola: 36875210 markings, 109089167 edges, 61698 markings/sec, 600 secs
lola: 37179685 markings, 109995787 edges, 60895 markings/sec, 605 secs
lola: 37480829 markings, 110884835 edges, 60229 markings/sec, 610 secs
lola: 37780527 markings, 111773617 edges, 59940 markings/sec, 615 secs
lola: 38080380 markings, 112656691 edges, 59971 markings/sec, 620 secs
lola: 38381323 markings, 113555491 edges, 60189 markings/sec, 625 secs
lola: 38677696 markings, 114429112 edges, 59275 markings/sec, 630 secs
lola: 38976366 markings, 115307787 edges, 59734 markings/sec, 635 secs
lola: 39277974 markings, 116200138 edges, 60322 markings/sec, 640 secs
lola: 39581035 markings, 117102772 edges, 60612 markings/sec, 645 secs
lola: 39882543 markings, 117998625 edges, 60302 markings/sec, 650 secs
lola: 40183707 markings, 118892637 edges, 60233 markings/sec, 655 secs
lola: 40486081 markings, 119795744 edges, 60475 markings/sec, 660 secs
lola: 40787148 markings, 120685687 edges, 60213 markings/sec, 665 secs
lola: 41087491 markings, 121578192 edges, 60069 markings/sec, 670 secs
lola: 41387623 markings, 122458510 edges, 60026 markings/sec, 675 secs
lola: 41689838 markings, 123344885 edges, 60443 markings/sec, 680 secs
lola: 41986705 markings, 124225507 edges, 59373 markings/sec, 685 secs
lola: 42283260 markings, 125106669 edges, 59311 markings/sec, 690 secs
lola: 42570238 markings, 125956114 edges, 57396 markings/sec, 695 secs
lola: 42866301 markings, 126829295 edges, 59213 markings/sec, 700 secs
lola: 43165197 markings, 127709288 edges, 59779 markings/sec, 705 secs
lola: 43466180 markings, 128596574 edges, 60197 markings/sec, 710 secs
lola: 43763817 markings, 129471404 edges, 59527 markings/sec, 715 secs
lola: 44048229 markings, 130312552 edges, 56882 markings/sec, 720 secs
lola: 44353195 markings, 131212196 edges, 60993 markings/sec, 725 secs
lola: 44658254 markings, 132109718 edges, 61012 markings/sec, 730 secs
lola: 44961294 markings, 133014068 edges, 60608 markings/sec, 735 secs
lola: 45264575 markings, 133908962 edges, 60656 markings/sec, 740 secs
lola: 45567520 markings, 134801428 edges, 60589 markings/sec, 745 secs
lola: 45870098 markings, 135707247 edges, 60516 markings/sec, 750 secs
lola: 46172675 markings, 136617781 edges, 60515 markings/sec, 755 secs
lola: 46475885 markings, 137522769 edges, 60642 markings/sec, 760 secs
lola: 46779800 markings, 138427594 edges, 60783 markings/sec, 765 secs
lola: 47086470 markings, 139333978 edges, 61334 markings/sec, 770 secs
lola: 47391448 markings, 140248804 edges, 60996 markings/sec, 775 secs
lola: 47678801 markings, 141100013 edges, 57471 markings/sec, 780 secs
lola: 47979535 markings, 141988088 edges, 60147 markings/sec, 785 secs
lola: 48285633 markings, 142894314 edges, 61220 markings/sec, 790 secs
lola: 48588701 markings, 143793817 edges, 60614 markings/sec, 795 secs
lola: 48894600 markings, 144701572 edges, 61180 markings/sec, 800 secs
lola: 49201838 markings, 145612297 edges, 61448 markings/sec, 805 secs
lola: 49501879 markings, 146514428 edges, 60008 markings/sec, 810 secs
lola: 49802115 markings, 147435776 edges, 60047 markings/sec, 815 secs
lola: 50104056 markings, 148345600 edges, 60388 markings/sec, 820 secs
lola: 50405840 markings, 149276022 edges, 60357 markings/sec, 825 secs
lola: 50697006 markings, 150137711 edges, 58233 markings/sec, 830 secs
lola: 50990099 markings, 150995578 edges, 58619 markings/sec, 835 secs
lola: 51282049 markings, 151850264 edges, 58390 markings/sec, 840 secs
lola: 51584543 markings, 152745185 edges, 60499 markings/sec, 845 secs
lola: 51887034 markings, 153639736 edges, 60498 markings/sec, 850 secs
lola: 52188320 markings, 154538943 edges, 60257 markings/sec, 855 secs
lola: 52488085 markings, 155425453 edges, 59953 markings/sec, 860 secs
lola: 52786162 markings, 156318677 edges, 59615 markings/sec, 865 secs
lola: 53085046 markings, 157203364 edges, 59777 markings/sec, 870 secs
lola: 53382460 markings, 158094734 edges, 59483 markings/sec, 875 secs
lola: 53657560 markings, 158903319 edges, 55020 markings/sec, 880 secs
lola: 53959684 markings, 159800948 edges, 60425 markings/sec, 885 secs
lola: 54257454 markings, 160678361 edges, 59554 markings/sec, 890 secs
lola: 54558225 markings, 161570060 edges, 60154 markings/sec, 895 secs
lola: 54844918 markings, 162417829 edges, 57339 markings/sec, 900 secs
lola: 55153539 markings, 163327245 edges, 61724 markings/sec, 905 secs
lola: 55457363 markings, 164225105 edges, 60765 markings/sec, 910 secs
lola: 55758681 markings, 165109648 edges, 60264 markings/sec, 915 secs
lola: 56042164 markings, 165943144 edges, 56697 markings/sec, 920 secs
lola: 56286890 markings, 166669269 edges, 48945 markings/sec, 925 secs
lola: 56301611 markings, 166713654 edges, 2944 markings/sec, 930 secs
lola: 56303794 markings, 166720074 edges, 437 markings/sec, 935 secs
lola: 56309145 markings, 166736281 edges, 1070 markings/sec, 940 secs
lola: 56310594 markings, 166740685 edges, 290 markings/sec, 945 secs
lola: 56313936 markings, 166751018 edges, 668 markings/sec, 950 secs
lola: 56314985 markings, 166753953 edges, 210 markings/sec, 955 secs
lola: 56324414 markings, 166781792 edges, 1886 markings/sec, 960 secs
lola: 56326297 markings, 166788207 edges, 377 markings/sec, 965 secs
lola: 56327153 markings, 166790522 edges, 171 markings/sec, 970 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_4_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 301872 markings, 971139 edges, 60374 markings/sec, 0 secs
lola: 593063 markings, 1904163 edges, 58238 markings/sec, 5 secs
lola: 899587 markings, 2922777 edges, 61305 markings/sec, 10 secs
lola: 1192738 markings, 3925670 edges, 58630 markings/sec, 15 secs
lola: 1482758 markings, 4912188 edges, 58004 markings/sec, 20 secs
lola: 1776635 markings, 5914415 edges, 58775 markings/sec, 25 secs
lola: 2063686 markings, 6873774 edges, 57410 markings/sec, 30 secs
lola: 2352716 markings, 7869354 edges, 57806 markings/sec, 35 secs
lola: 2648092 markings, 8857820 edges, 59075 markings/sec, 40 secs
lola: 2940882 markings, 9841115 edges, 58558 markings/sec, 45 secs
lola: 3231722 markings, 10833038 edges, 58168 markings/sec, 50 secs
lola: 3522835 markings, 11823008 edges, 58223 markings/sec, 55 secs
lola: 3813663 markings, 12821796 edges, 58166 markings/sec, 60 secs
lola: 4106982 markings, 13826354 edges, 58664 markings/sec, 65 secs
lola: 4399657 markings, 14823521 edges, 58535 markings/sec, 70 secs
lola: 4690521 markings, 15815064 edges, 58173 markings/sec, 75 secs
lola: 4979845 markings, 16824338 edges, 57865 markings/sec, 80 secs
lola: 5271343 markings, 17827589 edges, 58300 markings/sec, 85 secs
lola: 5564107 markings, 18835439 edges, 58553 markings/sec, 90 secs
lola: 5854599 markings, 19831576 edges, 58098 markings/sec, 95 secs
lola: 6145758 markings, 20821881 edges, 58232 markings/sec, 100 secs
lola: 6436249 markings, 21824496 edges, 58098 markings/sec, 105 secs
lola: 6735790 markings, 22848451 edges, 59908 markings/sec, 110 secs
lola: 7038124 markings, 23890992 edges, 60467 markings/sec, 115 secs
lola: 7324628 markings, 24855162 edges, 57301 markings/sec, 120 secs
lola: 7613460 markings, 25831359 edges, 57766 markings/sec, 125 secs
lola: 7904129 markings, 26823248 edges, 58134 markings/sec, 130 secs
lola: 8195927 markings, 27816765 edges, 58360 markings/sec, 135 secs
lola: 8478646 markings, 28804274 edges, 56544 markings/sec, 140 secs
lola: 8764722 markings, 29769889 edges, 57215 markings/sec, 145 secs
lola: 9052694 markings, 30746708 edges, 57594 markings/sec, 150 secs
lola: 9336464 markings, 31711437 edges, 56754 markings/sec, 155 secs
lola: 9620526 markings, 32663763 edges, 56812 markings/sec, 160 secs
lola: 9904130 markings, 33643882 edges, 56721 markings/sec, 165 secs
lola: 10194393 markings, 34607909 edges, 58053 markings/sec, 170 secs
lola: 10478176 markings, 35584134 edges, 56757 markings/sec, 175 secs
lola: 10768308 markings, 36572498 edges, 58026 markings/sec, 180 secs
lola: 11056608 markings, 37539946 edges, 57660 markings/sec, 185 secs
lola: 11341178 markings, 38497796 edges, 56914 markings/sec, 190 secs
lola: 11624682 markings, 39459850 edges, 56701 markings/sec, 195 secs
lola: 11913593 markings, 40396069 edges, 57782 markings/sec, 200 secs
lola: 12200357 markings, 41317442 edges, 57353 markings/sec, 205 secs
lola: 12484949 markings, 42269757 edges, 56918 markings/sec, 210 secs
lola: 12771881 markings, 43250743 edges, 57386 markings/sec, 215 secs
lola: 13061648 markings, 44235653 edges, 57953 markings/sec, 220 secs
lola: 13349106 markings, 45212658 edges, 57492 markings/sec, 225 secs
lola: 13634843 markings, 46167724 edges, 57147 markings/sec, 230 secs
lola: 13919093 markings, 47133842 edges, 56850 markings/sec, 235 secs
lola: 14202436 markings, 48075984 edges, 56669 markings/sec, 240 secs
lola: 14489483 markings, 49002294 edges, 57409 markings/sec, 245 secs
lola: 14773574 markings, 49935229 edges, 56818 markings/sec, 250 secs
lola: 15060569 markings, 50911256 edges, 57399 markings/sec, 255 secs
lola: 15345765 markings, 51885305 edges, 57039 markings/sec, 260 secs
lola: 15634939 markings, 52860234 edges, 57835 markings/sec, 265 secs
lola: 15915987 markings, 53823587 edges, 56210 markings/sec, 270 secs
lola: 16195436 markings, 54773913 edges, 55890 markings/sec, 275 secs
lola: 16474272 markings, 55713891 edges, 55767 markings/sec, 280 secs
lola: 16754088 markings, 56671818 edges, 55963 markings/sec, 285 secs
lola: 17038177 markings, 57634383 edges, 56818 markings/sec, 290 secs
lola: 17327733 markings, 58590054 edges, 57911 markings/sec, 295 secs
lola: 17612154 markings, 59557100 edges, 56884 markings/sec, 300 secs
lola: 17900681 markings, 60522528 edges, 57705 markings/sec, 305 secs
lola: 18190794 markings, 61505570 edges, 58023 markings/sec, 310 secs
lola: 18479755 markings, 62492342 edges, 57792 markings/sec, 315 secs
lola: 18762718 markings, 63452775 edges, 56593 markings/sec, 320 secs
lola: 19060154 markings, 64453678 edges, 59487 markings/sec, 325 secs
lola: 19341538 markings, 65419614 edges, 56277 markings/sec, 330 secs
lola: 19623956 markings, 66387961 edges, 56484 markings/sec, 335 secs
lola: 19905703 markings, 67337064 edges, 56349 markings/sec, 340 secs
lola: 20186617 markings, 68260380 edges, 56183 markings/sec, 345 secs
lola: 20468577 markings, 69201948 edges, 56392 markings/sec, 350 secs
lola: 20753447 markings, 70156538 edges, 56974 markings/sec, 355 secs
lola: 21035771 markings, 71118108 edges, 56465 markings/sec, 360 secs
lola: 21314892 markings, 72069863 edges, 55824 markings/sec, 365 secs
lola: 21598399 markings, 73027637 edges, 56701 markings/sec, 370 secs
lola: 21879183 markings, 73963670 edges, 56157 markings/sec, 375 secs
lola: 22159582 markings, 74905913 edges, 56080 markings/sec, 380 secs
lola: 22443898 markings, 75857023 edges, 56863 markings/sec, 385 secs
lola: 22729901 markings, 76826374 edges, 57201 markings/sec, 390 secs
lola: 23013455 markings, 77790248 edges, 56711 markings/sec, 395 secs
lola: 23296081 markings, 78745873 edges, 56525 markings/sec, 400 secs
lola: 23588346 markings, 79730379 edges, 58453 markings/sec, 405 secs
lola: 23871443 markings, 80708624 edges, 56619 markings/sec, 410 secs
lola: 24147863 markings, 81691452 edges, 55284 markings/sec, 415 secs
lola: 24435295 markings, 82672597 edges, 57486 markings/sec, 420 secs
lola: 24709898 markings, 83620266 edges, 54921 markings/sec, 425 secs
lola: 24990442 markings, 84602065 edges, 56109 markings/sec, 430 secs
lola: 25266681 markings, 85552660 edges, 55248 markings/sec, 435 secs
lola: 25546489 markings, 86492240 edges, 55962 markings/sec, 440 secs
lola: 25825442 markings, 87442083 edges, 55791 markings/sec, 445 secs
lola: 26107451 markings, 88419847 edges, 56402 markings/sec, 450 secs
lola: 26395374 markings, 89407094 edges, 57585 markings/sec, 455 secs
lola: 26687388 markings, 90392466 edges, 58403 markings/sec, 460 secs
lola: 26966698 markings, 91345227 edges, 55862 markings/sec, 465 secs
lola: 27248507 markings, 92251225 edges, 56362 markings/sec, 470 secs
lola: 27532070 markings, 93188830 edges, 56713 markings/sec, 475 secs
lola: 27810359 markings, 94152839 edges, 55658 markings/sec, 480 secs
lola: 28092994 markings, 95101841 edges, 56527 markings/sec, 485 secs
lola: 28373104 markings, 96092631 edges, 56022 markings/sec, 490 secs
lola: 28656797 markings, 97079755 edges, 56739 markings/sec, 495 secs
lola: 28937726 markings, 98054130 edges, 56186 markings/sec, 500 secs
lola: 29226791 markings, 99044079 edges, 57813 markings/sec, 505 secs
lola: 29519141 markings, 100019583 edges, 58470 markings/sec, 510 secs
lola: 29807988 markings, 100985168 edges, 57769 markings/sec, 515 secs
lola: 30089621 markings, 101941679 edges, 56327 markings/sec, 520 secs
lola: 30369664 markings, 102918616 edges, 56009 markings/sec, 525 secs
lola: 30655647 markings, 103883640 edges, 57197 markings/sec, 530 secs
lola: 30942955 markings, 104861443 edges, 57462 markings/sec, 535 secs
lola: 31231687 markings, 105847114 edges, 57746 markings/sec, 540 secs
lola: 31509317 markings, 106806628 edges, 55526 markings/sec, 545 secs
lola: 31801049 markings, 107787440 edges, 58346 markings/sec, 550 secs
lola: 32084814 markings, 108744930 edges, 56753 markings/sec, 555 secs
lola: 32366827 markings, 109701675 edges, 56403 markings/sec, 560 secs
lola: 32646263 markings, 110685940 edges, 55887 markings/sec, 565 secs
lola: 32928217 markings, 111663045 edges, 56391 markings/sec, 570 secs
lola: 33218750 markings, 112675361 edges, 58107 markings/sec, 575 secs
lola: 33502357 markings, 113654479 edges, 56721 markings/sec, 580 secs
lola: 33779949 markings, 114623448 edges, 55518 markings/sec, 585 secs
lola: 34053038 markings, 115590779 edges, 54618 markings/sec, 590 secs
lola: 34327025 markings, 116530149 edges, 54797 markings/sec, 595 secs
lola: 34610332 markings, 117479938 edges, 56661 markings/sec, 600 secs
lola: 34887266 markings, 118425404 edges, 55387 markings/sec, 605 secs
lola: 35163423 markings, 119361709 edges, 55231 markings/sec, 610 secs
lola: 35441934 markings, 120279954 edges, 55702 markings/sec, 615 secs
lola: 35715622 markings, 121215858 edges, 54738 markings/sec, 620 secs
lola: 35986592 markings, 122136912 edges, 54194 markings/sec, 625 secs
lola: 36259743 markings, 123069720 edges, 54630 markings/sec, 630 secs
lola: 36535470 markings, 123978560 edges, 55145 markings/sec, 635 secs
lola: 36812072 markings, 124906594 edges, 55320 markings/sec, 640 secs
lola: 37089388 markings, 125857983 edges, 55463 markings/sec, 645 secs
lola: 37365071 markings, 126803095 edges, 55137 markings/sec, 650 secs
lola: 37638358 markings, 127762487 edges, 54657 markings/sec, 655 secs
lola: 37928928 markings, 128755490 edges, 58114 markings/sec, 660 secs
lola: 38208007 markings, 129709608 edges, 55816 markings/sec, 665 secs
lola: 38488538 markings, 130663671 edges, 56106 markings/sec, 670 secs
lola: 38769485 markings, 131627131 edges, 56189 markings/sec, 675 secs
lola: 39042278 markings, 132552602 edges, 54559 markings/sec, 680 secs
lola: 39306487 markings, 133457106 edges, 52842 markings/sec, 685 secs
lola: 39588436 markings, 134418554 edges, 56390 markings/sec, 690 secs
lola: 39865033 markings, 135365986 edges, 55319 markings/sec, 695 secs
lola: 40144134 markings, 136281904 edges, 55820 markings/sec, 700 secs
lola: 40425139 markings, 137215857 edges, 56201 markings/sec, 705 secs
lola: 40704003 markings, 138166116 edges, 55773 markings/sec, 710 secs
lola: 40981635 markings, 139112282 edges, 55526 markings/sec, 715 secs
lola: 41260407 markings, 140064319 edges, 55754 markings/sec, 720 secs
lola: 41537734 markings, 140987640 edges, 55465 markings/sec, 725 secs
lola: 41814962 markings, 141914271 edges, 55446 markings/sec, 730 secs
lola: 42094848 markings, 142834706 edges, 55977 markings/sec, 735 secs
lola: 42370518 markings, 143767138 edges, 55134 markings/sec, 740 secs
lola: 42646122 markings, 144692953 edges, 55121 markings/sec, 745 secs
lola: 42926984 markings, 145633987 edges, 56172 markings/sec, 750 secs
lola: 43205556 markings, 146552301 edges, 55714 markings/sec, 755 secs
lola: 43485289 markings, 147500467 edges, 55947 markings/sec, 760 secs
lola: 43766324 markings, 148452806 edges, 56207 markings/sec, 765 secs
lola: 44037861 markings, 149408335 edges, 54307 markings/sec, 770 secs
lola: 44313954 markings, 150371624 edges, 55219 markings/sec, 775 secs
lola: 44588845 markings, 151310791 edges, 54978 markings/sec, 780 secs
lola: 44863245 markings, 152241246 edges, 54880 markings/sec, 785 secs
lola: 45138085 markings, 153198589 edges, 54968 markings/sec, 790 secs
lola: 45420195 markings, 154167278 edges, 56422 markings/sec, 795 secs
lola: 45705530 markings, 155140039 edges, 57067 markings/sec, 800 secs
lola: 45980276 markings, 156094587 edges, 54949 markings/sec, 805 secs
lola: 46251830 markings, 157029375 edges, 54311 markings/sec, 810 secs
lola: 46526802 markings, 157965800 edges, 54994 markings/sec, 815 secs
lola: 46810394 markings, 158907430 edges, 56718 markings/sec, 820 secs
lola: 47090333 markings, 159880630 edges, 55988 markings/sec, 825 secs
lola: 47380498 markings, 160869618 edges, 58033 markings/sec, 830 secs
lola: 47658893 markings, 161811131 edges, 55679 markings/sec, 835 secs
lola: 47920215 markings, 162668827 edges, 52264 markings/sec, 840 secs
lola: 48201325 markings, 163624887 edges, 56222 markings/sec, 845 secs
lola: 48473621 markings, 164551139 edges, 54459 markings/sec, 850 secs
lola: 48741916 markings, 165465748 edges, 53659 markings/sec, 855 secs
lola: 49017932 markings, 166390501 edges, 55203 markings/sec, 860 secs
lola: 49294962 markings, 167328672 edges, 55406 markings/sec, 865 secs
lola: 49573567 markings, 168267689 edges, 55721 markings/sec, 870 secs
lola: 49849655 markings, 169218819 edges, 55218 markings/sec, 875 secs
lola: 50126411 markings, 170189198 edges, 55351 markings/sec, 880 secs
lola: 50403795 markings, 171144219 edges, 55477 markings/sec, 885 secs
lola: 50667949 markings, 172026273 edges, 52831 markings/sec, 890 secs
lola: 50925528 markings, 172916945 edges, 51516 markings/sec, 895 secs
lola: 51187457 markings, 173807413 edges, 52386 markings/sec, 900 secs
lola: 51449821 markings, 174727970 edges, 52473 markings/sec, 905 secs
lola: 51722035 markings, 175664229 edges, 54443 markings/sec, 910 secs
lola: 51974433 markings, 176555477 edges, 50480 markings/sec, 915 secs
lola: 52236801 markings, 177425680 edges, 52474 markings/sec, 920 secs
lola: 52495701 markings, 178309496 edges, 51780 markings/sec, 925 secs
lola: 52754935 markings, 179192095 edges, 51847 markings/sec, 930 secs
lola: 53026694 markings, 180124971 edges, 54352 markings/sec, 935 secs
lola: 53306405 markings, 181060635 edges, 55942 markings/sec, 940 secs
lola: 53584371 markings, 182015065 edges, 55593 markings/sec, 945 secs
lola: 53862904 markings, 182962577 edges, 55707 markings/sec, 950 secs
lola: 54144199 markings, 183892672 edges, 56259 markings/sec, 955 secs
lola: 54423930 markings, 184846433 edges, 55946 markings/sec, 960 secs
lola: 54711922 markings, 185823736 edges, 57598 markings/sec, 965 secs
lola: 55006781 markings, 186830029 edges, 58972 markings/sec, 970 secs
lola: 55298811 markings, 187840038 edges, 58406 markings/sec, 975 secs
lola: 55586512 markings, 188766798 edges, 57540 markings/sec, 980 secs
lola: 55833380 markings, 189569682 edges, 49374 markings/sec, 985 secs
lola: 55835486 markings, 189576063 edges, 421 markings/sec, 990 secs
lola: 55836834 markings, 189580263 edges, 270 markings/sec, 995 secs
lola: 55840484 markings, 189591785 edges, 730 markings/sec, 1000 secs
lola: 55841972 markings, 189596306 edges, 298 markings/sec, 1005 secs
lola: 55843387 markings, 189600805 edges, 283 markings/sec, 1010 secs
lola: 55845181 markings, 189606696 edges, 359 markings/sec, 1015 secs
lola: 55863601 markings, 189665707 edges, 3684 markings/sec, 1020 secs
lola: 55867217 markings, 189677462 edges, 723 markings/sec, 1025 secs
lola: 55870579 markings, 189688466 edges, 672 markings/sec, 1030 secs
lola: 55873174 markings, 189697204 edges, 519 markings/sec, 1035 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA Diffusion2D-PT-D10N010-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_8_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N010-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: 296700 markings, 983538 edges, 59340 markings/sec, 0 secs
lola: 595453 markings, 2038886 edges, 59751 markings/sec, 5 secs
lola: 882540 markings, 3020392 edges, 57417 markings/sec, 10 secs
lola: 1185885 markings, 4051748 edges, 60669 markings/sec, 15 secs
lola: 1485257 markings, 5072133 edges, 59874 markings/sec, 20 secs
lola: 1783149 markings, 6090007 edges, 59578 markings/sec, 25 secs
lola: 2080568 markings, 7126486 edges, 59484 markings/sec, 30 secs
lola: 2375187 markings, 8144906 edges, 58924 markings/sec, 35 secs
lola: 2665846 markings, 9192212 edges, 58132 markings/sec, 40 secs
lola: 2957595 markings, 10237286 edges, 58350 markings/sec, 45 secs
lola: 3247979 markings, 11258402 edges, 58077 markings/sec, 50 secs
lola: 3541714 markings, 12284814 edges, 58747 markings/sec, 55 secs
lola: 3837797 markings, 13309732 edges, 59217 markings/sec, 60 secs
lola: 4133675 markings, 14337715 edges, 59176 markings/sec, 65 secs
lola: 4426432 markings, 15369578 edges, 58551 markings/sec, 70 secs
lola: 4718646 markings, 16405782 edges, 58443 markings/sec, 75 secs
lola: 5008834 markings, 17432786 edges, 58038 markings/sec, 80 secs
lola: 5299788 markings, 18473635 edges, 58191 markings/sec, 85 secs
lola: 5591734 markings, 19497740 edges, 58389 markings/sec, 90 secs
lola: 5881745 markings, 20514433 edges, 58002 markings/sec, 95 secs
lola: 6171335 markings, 21515451 edges, 57918 markings/sec, 100 secs
lola: 6456008 markings, 22547259 edges, 56935 markings/sec, 105 secs
lola: 6740163 markings, 23564490 edges, 56831 markings/sec, 110 secs
lola: 7026197 markings, 24578175 edges, 57207 markings/sec, 115 secs
lola: 7314787 markings, 25588775 edges, 57718 markings/sec, 120 secs
lola: 7613957 markings, 26627335 edges, 59834 markings/sec, 125 secs
lola: 7911231 markings, 27671482 edges, 59455 markings/sec, 130 secs
lola: 8198916 markings, 28688300 edges, 57537 markings/sec, 135 secs
lola: 8484067 markings, 29680868 edges, 57030 markings/sec, 140 secs
lola: 8771384 markings, 30678620 edges, 57463 markings/sec, 145 secs
lola: 9059381 markings, 31671801 edges, 57599 markings/sec, 150 secs
lola: 9348367 markings, 32675298 edges, 57797 markings/sec, 155 secs
lola: 9636852 markings, 33684335 edges, 57697 markings/sec, 160 secs
lola: 9926110 markings, 34715142 edges, 57852 markings/sec, 165 secs
lola: 10211208 markings, 35713065 edges, 57020 markings/sec, 170 secs
lola: 10498259 markings, 36724193 edges, 57410 markings/sec, 175 secs
lola: 10781880 markings, 37723116 edges, 56724 markings/sec, 180 secs
lola: 11066405 markings, 38721057 edges, 56905 markings/sec, 185 secs
lola: 11361995 markings, 39746006 edges, 59118 markings/sec, 190 secs
lola: 11654742 markings, 40775314 edges, 58549 markings/sec, 195 secs
lola: 11945170 markings, 41828680 edges, 58086 markings/sec, 200 secs
lola: 12229882 markings, 42853086 edges, 56942 markings/sec, 205 secs
lola: 12516344 markings, 43853162 edges, 57292 markings/sec, 210 secs
lola: 12803438 markings, 44839676 edges, 57419 markings/sec, 215 secs
lola: 13093886 markings, 45826067 edges, 58090 markings/sec, 220 secs
lola: 13396499 markings, 46885949 edges, 60523 markings/sec, 225 secs
lola: 13694528 markings, 47939560 edges, 59606 markings/sec, 230 secs
lola: 13988764 markings, 48995633 edges, 58847 markings/sec, 235 secs
lola: 14278416 markings, 50012756 edges, 57930 markings/sec, 240 secs
lola: 14561918 markings, 51015697 edges, 56700 markings/sec, 245 secs
lola: 14841735 markings, 52026132 edges, 55963 markings/sec, 250 secs
lola: 15119490 markings, 53021272 edges, 55551 markings/sec, 255 secs
lola: 15407557 markings, 54029403 edges, 57613 markings/sec, 260 secs
lola: 15695754 markings, 55027837 edges, 57639 markings/sec, 265 secs
lola: 15976280 markings, 56040581 edges, 56105 markings/sec, 270 secs
lola: 16260792 markings, 57043426 edges, 56902 markings/sec, 275 secs
lola: 16549545 markings, 58049252 edges, 57751 markings/sec, 280 secs
lola: 16833222 markings, 59049855 edges, 56735 markings/sec, 285 secs
lola: 17115860 markings, 60054083 edges, 56528 markings/sec, 290 secs
lola: 17396963 markings, 61071755 edges, 56221 markings/sec, 295 secs
lola: 17681012 markings, 62085771 edges, 56810 markings/sec, 300 secs
lola: 17973398 markings, 63104684 edges, 58477 markings/sec, 305 secs
lola: 18266274 markings, 64120720 edges, 58575 markings/sec, 310 secs
lola: 18556586 markings, 65132779 edges, 58062 markings/sec, 315 secs
lola: 18845355 markings, 66160162 edges, 57754 markings/sec, 320 secs
lola: 19132073 markings, 67168325 edges, 57344 markings/sec, 325 secs
lola: 19417219 markings, 68175414 edges, 57029 markings/sec, 330 secs
lola: 19702110 markings, 69193016 edges, 56978 markings/sec, 335 secs
lola: 19990128 markings, 70173597 edges, 57604 markings/sec, 340 secs
lola: 20280382 markings, 71172533 edges, 58051 markings/sec, 345 secs
lola: 20568202 markings, 72164366 edges, 57564 markings/sec, 350 secs
lola: 20853525 markings, 73169038 edges, 57065 markings/sec, 355 secs
lola: 21143414 markings, 74171501 edges, 57978 markings/sec, 360 secs
lola: 21432396 markings, 75157963 edges, 57796 markings/sec, 365 secs
lola: 21720397 markings, 76159185 edges, 57600 markings/sec, 370 secs
lola: 21980481 markings, 77061184 edges, 52017 markings/sec, 375 secs
lola: 22237479 markings, 77966790 edges, 51400 markings/sec, 380 secs
lola: 22523812 markings, 78975614 edges, 57267 markings/sec, 385 secs
lola: 22779399 markings, 79851266 edges, 51117 markings/sec, 390 secs
lola: 23059434 markings, 80844121 edges, 56007 markings/sec, 395 secs
lola: 23327180 markings, 81796417 edges, 53549 markings/sec, 400 secs
lola: 23592552 markings, 82715127 edges, 53074 markings/sec, 405 secs
lola: 23842321 markings, 83599702 edges, 49954 markings/sec, 410 secs
lola: 24091552 markings, 84482672 edges, 49846 markings/sec, 415 secs
lola: 24342393 markings, 85366194 edges, 50168 markings/sec, 420 secs
lola: 24618301 markings, 86333265 edges, 55182 markings/sec, 425 secs
lola: 24871473 markings, 87222585 edges, 50634 markings/sec, 430 secs
lola: 25136090 markings, 88134235 edges, 52923 markings/sec, 435 secs
lola: 25398770 markings, 89043595 edges, 52536 markings/sec, 440 secs
lola: 25679744 markings, 90020245 edges, 56195 markings/sec, 445 secs
lola: 25948604 markings, 90959121 edges, 53772 markings/sec, 450 secs
lola: 26232472 markings, 91938739 edges, 56774 markings/sec, 455 secs
lola: 26510681 markings, 92914711 edges, 55642 markings/sec, 460 secs
lola: 26786620 markings, 93880916 edges, 55188 markings/sec, 465 secs
lola: 27063226 markings, 94860383 edges, 55321 markings/sec, 470 secs
lola: 27339594 markings, 95846840 edges, 55274 markings/sec, 475 secs
lola: 27615843 markings, 96828227 edges, 55250 markings/sec, 480 secs
lola: 27894934 markings, 97816156 edges, 55818 markings/sec, 485 secs
lola: 28171249 markings, 98801158 edges, 55263 markings/sec, 490 secs
lola: 28455723 markings, 99775622 edges, 56895 markings/sec, 495 secs
lola: 28738590 markings, 100765766 edges, 56573 markings/sec, 500 secs
lola: 29022491 markings, 101763975 edges, 56780 markings/sec, 505 secs
lola: 29300729 markings, 102768746 edges, 55648 markings/sec, 510 secs
lola: 29584906 markings, 103755748 edges, 56835 markings/sec, 515 secs
lola: 29867699 markings, 104718832 edges, 56559 markings/sec, 520 secs
lola: 30152644 markings, 105701345 edges, 56989 markings/sec, 525 secs
lola: 30436996 markings, 106682173 edges, 56870 markings/sec, 530 secs
lola: 30715832 markings, 107670204 edges, 55767 markings/sec, 535 secs
lola: 30995769 markings, 108675195 edges, 55987 markings/sec, 540 secs
lola: 31275853 markings, 109669841 edges, 56017 markings/sec, 545 secs
lola: 31556356 markings, 110648182 edges, 56101 markings/sec, 550 secs
lola: 31836660 markings, 111618803 edges, 56061 markings/sec, 555 secs
lola: 32119995 markings, 112607063 edges, 56667 markings/sec, 560 secs
lola: 32405909 markings, 113575919 edges, 57183 markings/sec, 565 secs
lola: 32689347 markings, 114581815 edges, 56688 markings/sec, 570 secs
lola: 32974260 markings, 115566734 edges, 56983 markings/sec, 575 secs
lola: 33261618 markings, 116557167 edges, 57472 markings/sec, 580 secs
lola: 33544866 markings, 117555599 edges, 56650 markings/sec, 585 secs
lola: 33827936 markings, 118546225 edges, 56614 markings/sec, 590 secs
lola: 34111855 markings, 119543614 edges, 56784 markings/sec, 595 secs
lola: 34397826 markings, 120542892 edges, 57194 markings/sec, 600 secs
lola: 34681488 markings, 121545916 edges, 56732 markings/sec, 605 secs
lola: 34945356 markings, 122511666 edges, 52774 markings/sec, 610 secs
lola: 35230507 markings, 123506962 edges, 57030 markings/sec, 615 secs
lola: 35510831 markings, 124493233 edges, 56065 markings/sec, 620 secs
lola: 35793216 markings, 125479265 edges, 56477 markings/sec, 625 secs
lola: 36070218 markings, 126486879 edges, 55400 markings/sec, 630 secs
lola: 36349940 markings, 127472288 edges, 55944 markings/sec, 635 secs
lola: 36630291 markings, 128467259 edges, 56070 markings/sec, 640 secs
lola: 36912325 markings, 129458915 edges, 56407 markings/sec, 645 secs
lola: 37195387 markings, 130434772 edges, 56612 markings/sec, 650 secs
lola: 37482393 markings, 131407160 edges, 57401 markings/sec, 655 secs
lola: 37767112 markings, 132417467 edges, 56944 markings/sec, 660 secs
lola: 38049182 markings, 133426580 edges, 56414 markings/sec, 665 secs
lola: 38333896 markings, 134398603 edges, 56943 markings/sec, 670 secs
lola: 38618119 markings, 135381665 edges, 56845 markings/sec, 675 secs
lola: 38900785 markings, 136368290 edges, 56533 markings/sec, 680 secs
lola: 39184720 markings, 137346059 edges, 56787 markings/sec, 685 secs
lola: 39469997 markings, 138328057 edges, 57055 markings/sec, 690 secs
lola: 39751320 markings, 139314936 edges, 56265 markings/sec, 695 secs
lola: 40031644 markings, 140298977 edges, 56065 markings/sec, 700 secs
lola: 40310188 markings, 141288960 edges, 55709 markings/sec, 705 secs
lola: 40587939 markings, 142282247 edges, 55550 markings/sec, 710 secs
lola: 40867537 markings, 143254998 edges, 55920 markings/sec, 715 secs
lola: 41146598 markings, 144247775 edges, 55812 markings/sec, 720 secs
lola: 41422360 markings, 145235759 edges, 55152 markings/sec, 725 secs
lola: 41702472 markings, 146219486 edges, 56022 markings/sec, 730 secs
lola: 41986071 markings, 147196747 edges, 56720 markings/sec, 735 secs
lola: 42270722 markings, 148190167 edges, 56930 markings/sec, 740 secs
lola: 42557606 markings, 149180747 edges, 57377 markings/sec, 745 secs
lola: 42841434 markings, 150187374 edges, 56766 markings/sec, 750 secs
lola: 43122034 markings, 151172229 edges, 56120 markings/sec, 755 secs
lola: 43403399 markings, 152156538 edges, 56273 markings/sec, 760 secs
lola: 43685002 markings, 153159568 edges, 56321 markings/sec, 765 secs
lola: 43961798 markings, 154163438 edges, 55359 markings/sec, 770 secs
lola: 44240292 markings, 155164446 edges, 55699 markings/sec, 775 secs
lola: 44517294 markings, 156145830 edges, 55400 markings/sec, 780 secs
lola: 44793327 markings, 157123369 edges, 55207 markings/sec, 785 secs
lola: 45069197 markings, 158088667 edges, 55174 markings/sec, 790 secs
lola: 45344273 markings, 159056398 edges, 55015 markings/sec, 795 secs
lola: 45619255 markings, 160027056 edges, 54996 markings/sec, 800 secs
lola: 45896201 markings, 160989713 edges, 55389 markings/sec, 805 secs
lola: 46171353 markings, 161984966 edges, 55030 markings/sec, 810 secs
lola: 46448562 markings, 162977096 edges, 55442 markings/sec, 815 secs
lola: 46739394 markings, 163996687 edges, 58166 markings/sec, 820 secs
lola: 47028133 markings, 165023480 edges, 57748 markings/sec, 825 secs
lola: 47283921 markings, 165949395 edges, 51158 markings/sec, 830 secs
lola: 47543031 markings, 166871028 edges, 51822 markings/sec, 835 secs
lola: 47799935 markings, 167791217 edges, 51381 markings/sec, 840 secs
lola: 48054991 markings, 168732275 edges, 51011 markings/sec, 845 secs
lola: 48314947 markings, 169654616 edges, 51991 markings/sec, 850 secs
lola: 48576106 markings, 170568852 edges, 52232 markings/sec, 855 secs
lola: 48843681 markings, 171497111 edges, 53515 markings/sec, 860 secs
lola: 49124600 markings, 172508238 edges, 56184 markings/sec, 865 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 10 10 10 10 10 10 unknown 10 10 10 10 10 10 10 unknown
lola:
preliminary result: unknown 10 10 10 10 10 10 unknown 10 10 10 10 10 10 10 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 10 10 10 10 10 10 unknown 10 10 10 10 10 10 10 unknown
lola: memory consumption: 14364 KB
lola: time consumption: 3569 seconds

BK_STOP 1526655259641

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Diffusion2D-PT-D10N010"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D10N010.tgz
mv Diffusion2D-PT-D10N010 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is Diffusion2D-PT-D10N010, 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 r076-blw3-152649936900170"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;