MCC'2018 - Execution of r076-blw3-152649936900184

About the Execution of LoLA for Diffusion2D-PT-D10N100

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
6484.360	3570454.00	3641772.00	1492.00	100 100 100 100 ? 100 ? ? ? ? ? ? ? ? ? ?	normal

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 428K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K 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.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 10K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K 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.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 23K 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-D10N100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r076-blw3-152649936900184
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526658990563

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D10N100 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D10N100 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D10N100 @ 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: 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-D10N100-UpperBounds.task
lola: MAX(cAMP__9_5_) : MAX(cAMP__5_8_) : MAX(cAMP__5_6_) : MAX(cAMP__8_7_) : MAX(cAMP__9_10_) : MAX(cAMP__6_8_) : MAX(cAMP__2_1_) : MAX(cAMP__5_2_) : MAX(cAMP__3_4_) : MAX(cAMP__7_9_) : MAX(cAMP__1_5_) : MAX(cAMP__3_4_) : MAX(cAMP__1_4_) : MAX(cAMP__4_2_) : MAX(cAMP__8_4_) : MAX(cAMP__5_1_)
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__9_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N100-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: 100
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: 1399 markings, 2698 edges
lola: ========================================

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

FORMULA Diffusion2D-PT-D10N100-UpperBounds-1 100 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__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-D10N100-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: 100
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: 101 markings, 100 edges

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

FORMULA Diffusion2D-PT-D10N100-UpperBounds-3 100 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__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-D10N100-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: 100
lola: 309744 markings, 1003988 edges, 61949 markings/sec, 0 secs
lola: 636528 markings, 2064417 edges, 65357 markings/sec, 5 secs
lola: 962636 markings, 3127711 edges, 65222 markings/sec, 10 secs
lola: 1286505 markings, 4180152 edges, 64774 markings/sec, 15 secs
lola: 1612660 markings, 5244364 edges, 65231 markings/sec, 20 secs
lola: 1928656 markings, 6274626 edges, 63199 markings/sec, 25 secs
lola: 2249500 markings, 7318331 edges, 64169 markings/sec, 30 secs
lola: 2571417 markings, 8362888 edges, 64383 markings/sec, 35 secs
lola: 2891205 markings, 9418014 edges, 63958 markings/sec, 40 secs
lola: 3211784 markings, 10467490 edges, 64116 markings/sec, 45 secs
lola: 3530378 markings, 11510603 edges, 63719 markings/sec, 50 secs
lola: 3854541 markings, 12569865 edges, 64833 markings/sec, 55 secs
lola: 4180305 markings, 13623985 edges, 65153 markings/sec, 60 secs
lola: 4505330 markings, 14663838 edges, 65005 markings/sec, 65 secs
lola: 4833315 markings, 15719664 edges, 65597 markings/sec, 70 secs
lola: 5160589 markings, 16793647 edges, 65455 markings/sec, 75 secs
lola: 5484193 markings, 17846982 edges, 64721 markings/sec, 80 secs
lola: 5810986 markings, 18907064 edges, 65359 markings/sec, 85 secs
lola: 6136087 markings, 19966656 edges, 65020 markings/sec, 90 secs
lola: 6459209 markings, 21007952 edges, 64624 markings/sec, 95 secs
lola: 6784015 markings, 22040282 edges, 64961 markings/sec, 100 secs
lola: 7108963 markings, 23085943 edges, 64990 markings/sec, 105 secs
lola: 7435097 markings, 24144028 edges, 65227 markings/sec, 110 secs
lola: 7760500 markings, 25202328 edges, 65081 markings/sec, 115 secs
lola: 8084218 markings, 26243860 edges, 64744 markings/sec, 120 secs
lola: 8408752 markings, 27296663 edges, 64907 markings/sec, 125 secs
lola: 8731994 markings, 28336968 edges, 64648 markings/sec, 130 secs
lola: 9054270 markings, 29393472 edges, 64455 markings/sec, 135 secs
lola: 9377740 markings, 30443062 edges, 64694 markings/sec, 140 secs
lola: 9700127 markings, 31487986 edges, 64477 markings/sec, 145 secs
lola: 10023104 markings, 32530731 edges, 64595 markings/sec, 150 secs
lola: 10355320 markings, 33609117 edges, 66443 markings/sec, 155 secs
lola: 10687402 markings, 34687872 edges, 66416 markings/sec, 160 secs
lola: 11012416 markings, 35744516 edges, 65003 markings/sec, 165 secs
lola: 11336819 markings, 36802518 edges, 64881 markings/sec, 170 secs
lola: 11655327 markings, 37846957 edges, 63702 markings/sec, 175 secs
lola: 11975452 markings, 38897744 edges, 64025 markings/sec, 180 secs
lola: 12296917 markings, 39945017 edges, 64293 markings/sec, 185 secs
lola: 12622217 markings, 41001036 edges, 65060 markings/sec, 190 secs
lola: 12947090 markings, 42054634 edges, 64975 markings/sec, 195 secs
lola: 13271190 markings, 43108271 edges, 64820 markings/sec, 200 secs
lola: 13594917 markings, 44156660 edges, 64745 markings/sec, 205 secs
lola: 13919145 markings, 45192936 edges, 64846 markings/sec, 210 secs
lola: 14246540 markings, 46232141 edges, 65479 markings/sec, 215 secs
lola: 14569318 markings, 47254830 edges, 64556 markings/sec, 220 secs
lola: 14894503 markings, 48288410 edges, 65037 markings/sec, 225 secs
lola: 15223385 markings, 49336075 edges, 65776 markings/sec, 230 secs
lola: 15549523 markings, 50377254 edges, 65228 markings/sec, 235 secs
lola: 15876427 markings, 51421973 edges, 65381 markings/sec, 240 secs
lola: 16201240 markings, 52457924 edges, 64963 markings/sec, 245 secs
lola: 16529072 markings, 53507452 edges, 65566 markings/sec, 250 secs
lola: 16853633 markings, 54540599 edges, 64912 markings/sec, 255 secs
lola: 17180796 markings, 55585314 edges, 65433 markings/sec, 260 secs
lola: 17504445 markings, 56616918 edges, 64730 markings/sec, 265 secs
lola: 17833464 markings, 57666576 edges, 65804 markings/sec, 270 secs
lola: 18160366 markings, 58712702 edges, 65380 markings/sec, 275 secs
lola: 18487962 markings, 59752880 edges, 65519 markings/sec, 280 secs
lola: 18813564 markings, 60793620 edges, 65120 markings/sec, 285 secs
lola: 19140700 markings, 61835964 edges, 65427 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 100 100 100 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5656424 KB
lola: time consumption: 298 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_8_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N100-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: 100
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: 201 markings, 299 edges
lola: ========================================

FORMULA Diffusion2D-PT-D10N100-UpperBounds-5 100 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 327 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-D10N100-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: 100
lola: 299602 markings, 1231068 edges, 59920 markings/sec, 0 secs
lola: 610033 markings, 2547673 edges, 62086 markings/sec, 5 secs
lola: 924548 markings, 3895495 edges, 62903 markings/sec, 10 secs
lola: 1232817 markings, 5249236 edges, 61654 markings/sec, 15 secs
lola: 1538498 markings, 6588982 edges, 61136 markings/sec, 20 secs
lola: 1850346 markings, 7923351 edges, 62370 markings/sec, 25 secs
lola: 2159508 markings, 9294935 edges, 61832 markings/sec, 30 secs
lola: 2465366 markings, 10707646 edges, 61172 markings/sec, 35 secs
lola: 2774292 markings, 12012851 edges, 61785 markings/sec, 40 secs
lola: 3081154 markings, 13359531 edges, 61372 markings/sec, 45 secs
lola: 3389665 markings, 14689901 edges, 61702 markings/sec, 50 secs
lola: 3695775 markings, 16037321 edges, 61222 markings/sec, 55 secs
lola: 4000688 markings, 17390511 edges, 60983 markings/sec, 60 secs
lola: 4305556 markings, 18682423 edges, 60974 markings/sec, 65 secs
lola: 4614125 markings, 20024949 edges, 61714 markings/sec, 70 secs
lola: 4920884 markings, 21406183 edges, 61352 markings/sec, 75 secs
lola: 5235815 markings, 22783370 edges, 62986 markings/sec, 80 secs
lola: 5544022 markings, 24213521 edges, 61641 markings/sec, 85 secs
lola: 5862406 markings, 25582442 edges, 63677 markings/sec, 90 secs
lola: 6171132 markings, 26945421 edges, 61745 markings/sec, 95 secs
lola: 6474975 markings, 28261115 edges, 60769 markings/sec, 100 secs
lola: 6782697 markings, 29570394 edges, 61544 markings/sec, 105 secs
lola: 7086201 markings, 30936718 edges, 60701 markings/sec, 110 secs
lola: 7398732 markings, 32312371 edges, 62506 markings/sec, 115 secs
lola: 7708832 markings, 33739216 edges, 62020 markings/sec, 120 secs
lola: 8028415 markings, 35132321 edges, 63917 markings/sec, 125 secs
lola: 8338926 markings, 36515802 edges, 62102 markings/sec, 130 secs
lola: 8642477 markings, 37825237 edges, 60710 markings/sec, 135 secs
lola: 8950125 markings, 39120971 edges, 61530 markings/sec, 140 secs
lola: 9255146 markings, 40471261 edges, 61004 markings/sec, 145 secs
lola: 9562999 markings, 41859789 edges, 61571 markings/sec, 150 secs
lola: 9873143 markings, 43293257 edges, 62029 markings/sec, 155 secs
lola: 10191503 markings, 44673693 edges, 63672 markings/sec, 160 secs
lola: 10503605 markings, 46028905 edges, 62420 markings/sec, 165 secs
lola: 10805785 markings, 47366123 edges, 60436 markings/sec, 170 secs
lola: 11110722 markings, 48646273 edges, 60987 markings/sec, 175 secs
lola: 11415254 markings, 49989875 edges, 60906 markings/sec, 180 secs
lola: 11722055 markings, 51354424 edges, 61360 markings/sec, 185 secs
lola: 12031366 markings, 52765988 edges, 61862 markings/sec, 190 secs
lola: 12339470 markings, 54163536 edges, 61621 markings/sec, 195 secs
lola: 12656212 markings, 55518725 edges, 63348 markings/sec, 200 secs
lola: 12957687 markings, 56857681 edges, 60295 markings/sec, 205 secs
lola: 13262057 markings, 58138852 edges, 60874 markings/sec, 210 secs
lola: 13570357 markings, 59484111 edges, 61660 markings/sec, 215 secs
lola: 13873470 markings, 60840139 edges, 60623 markings/sec, 220 secs
lola: 14187170 markings, 62234883 edges, 62740 markings/sec, 225 secs
lola: 14491035 markings, 63639918 edges, 60773 markings/sec, 230 secs
lola: 14809412 markings, 64995424 edges, 63675 markings/sec, 235 secs
lola: 15113278 markings, 66343486 edges, 60773 markings/sec, 240 secs
lola: 15415877 markings, 67645841 edges, 60520 markings/sec, 245 secs
lola: 15722832 markings, 68965194 edges, 61391 markings/sec, 250 secs
lola: 16025039 markings, 70325296 edges, 60441 markings/sec, 255 secs
lola: 16334906 markings, 71684270 edges, 61973 markings/sec, 260 secs
lola: 16639609 markings, 73088780 edges, 60941 markings/sec, 265 secs
lola: 16955874 markings, 74467498 edges, 63253 markings/sec, 270 secs
lola: 17264511 markings, 75843712 edges, 61727 markings/sec, 275 secs
lola: 17565769 markings, 77140626 edges, 60252 markings/sec, 280 secs
lola: 17871839 markings, 78429317 edges, 61214 markings/sec, 285 secs
lola: 18175280 markings, 79772143 edges, 60688 markings/sec, 290 secs
lola: 18480394 markings, 81147963 edges, 61023 markings/sec, 295 secs
lola: 18787973 markings, 82571872 edges, 61516 markings/sec, 300 secs
lola: 19103027 markings, 83939365 edges, 63011 markings/sec, 305 secs
lola: 19414031 markings, 85285197 edges, 62201 markings/sec, 310 secs
lola: 19714451 markings, 86616560 edges, 60084 markings/sec, 315 secs
lola: 20017291 markings, 87888364 edges, 60568 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: 100 100 100 100 unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5535580 KB
lola: time consumption: 625 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_2_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N100-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: 100
lola: 307907 markings, 1106590 edges, 61581 markings/sec, 0 secs
lola: 618388 markings, 2226077 edges, 62096 markings/sec, 5 secs
lola: 928071 markings, 3371324 edges, 61937 markings/sec, 10 secs
lola: 1234705 markings, 4484121 edges, 61327 markings/sec, 15 secs
lola: 1541500 markings, 5630727 edges, 61359 markings/sec, 20 secs
lola: 1849285 markings, 6777243 edges, 61557 markings/sec, 25 secs
lola: 2159774 markings, 7935326 edges, 62098 markings/sec, 30 secs
lola: 2467896 markings, 9070271 edges, 61624 markings/sec, 35 secs
lola: 2774378 markings, 10230372 edges, 61296 markings/sec, 40 secs
lola: 3079858 markings, 11405191 edges, 61096 markings/sec, 45 secs
lola: 3380409 markings, 12545838 edges, 60110 markings/sec, 50 secs
lola: 3687703 markings, 13712853 edges, 61459 markings/sec, 55 secs
lola: 3995611 markings, 14895256 edges, 61582 markings/sec, 60 secs
lola: 4306018 markings, 16056454 edges, 62081 markings/sec, 65 secs
lola: 4611132 markings, 17169257 edges, 61023 markings/sec, 70 secs
lola: 4915863 markings, 18317492 edges, 60946 markings/sec, 75 secs
lola: 5228782 markings, 19443643 edges, 62584 markings/sec, 80 secs
lola: 5539282 markings, 20589544 edges, 62100 markings/sec, 85 secs
lola: 5845118 markings, 21717249 edges, 61167 markings/sec, 90 secs
lola: 6151045 markings, 22877166 edges, 61185 markings/sec, 95 secs
lola: 6453917 markings, 24046145 edges, 60574 markings/sec, 100 secs
lola: 6758785 markings, 25226578 edges, 60974 markings/sec, 105 secs
lola: 7061896 markings, 26422801 edges, 60622 markings/sec, 110 secs
lola: 7363287 markings, 27567043 edges, 60278 markings/sec, 115 secs
lola: 7668871 markings, 28711491 edges, 61117 markings/sec, 120 secs
lola: 7974890 markings, 29864283 edges, 61204 markings/sec, 125 secs
lola: 8277986 markings, 31032305 edges, 60619 markings/sec, 130 secs
lola: 8581309 markings, 32202072 edges, 60665 markings/sec, 135 secs
lola: 8887158 markings, 33373384 edges, 61170 markings/sec, 140 secs
lola: 9192810 markings, 34540153 edges, 61130 markings/sec, 145 secs
lola: 9499075 markings, 35730346 edges, 61253 markings/sec, 150 secs
lola: 9806331 markings, 36906686 edges, 61451 markings/sec, 155 secs
lola: 10110634 markings, 38084519 edges, 60861 markings/sec, 160 secs
lola: 10420674 markings, 39252415 edges, 62008 markings/sec, 165 secs
lola: 10725277 markings, 40436040 edges, 60921 markings/sec, 170 secs
lola: 11033187 markings, 41581296 edges, 61582 markings/sec, 175 secs
lola: 11341007 markings, 42769166 edges, 61564 markings/sec, 180 secs
lola: 11650688 markings, 43920824 edges, 61936 markings/sec, 185 secs
lola: 11961908 markings, 45113194 edges, 62244 markings/sec, 190 secs
lola: 12269601 markings, 46322874 edges, 61539 markings/sec, 195 secs
lola: 12575636 markings, 47494337 edges, 61207 markings/sec, 200 secs
lola: 12883865 markings, 48680417 edges, 61646 markings/sec, 205 secs
lola: 13188677 markings, 49850861 edges, 60962 markings/sec, 210 secs
lola: 13491331 markings, 51051368 edges, 60531 markings/sec, 215 secs
lola: 13791150 markings, 52193891 edges, 59964 markings/sec, 220 secs
lola: 14090942 markings, 53354828 edges, 59958 markings/sec, 225 secs
lola: 14396347 markings, 54544256 edges, 61081 markings/sec, 230 secs
lola: 14703754 markings, 55737619 edges, 61481 markings/sec, 235 secs
lola: 15015205 markings, 56935366 edges, 62290 markings/sec, 240 secs
lola: 15319456 markings, 58095937 edges, 60850 markings/sec, 245 secs
lola: 15623650 markings, 59262620 edges, 60839 markings/sec, 250 secs
lola: 15922828 markings, 60464713 edges, 59836 markings/sec, 255 secs
lola: 16227290 markings, 61643821 edges, 60892 markings/sec, 260 secs
lola: 16533855 markings, 62829233 edges, 61313 markings/sec, 265 secs
lola: 16841620 markings, 64017556 edges, 61553 markings/sec, 270 secs
lola: 17149610 markings, 65204477 edges, 61598 markings/sec, 275 secs
lola: 17453494 markings, 66370327 edges, 60777 markings/sec, 280 secs
lola: 17758347 markings, 67568276 edges, 60971 markings/sec, 285 secs
lola: 18060601 markings, 68757023 edges, 60451 markings/sec, 290 secs
lola: 18364620 markings, 69926123 edges, 60804 markings/sec, 295 secs
lola: 18665349 markings, 71090281 edges, 60146 markings/sec, 300 secs
lola: 18969560 markings, 72253586 edges, 60842 markings/sec, 305 secs
lola: 19278072 markings, 73446121 edges, 61702 markings/sec, 310 secs
lola: 19584589 markings, 74631613 edges, 61303 markings/sec, 315 secs
lola: 19888840 markings, 75801417 edges, 60850 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: 100 100 100 100 unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5792236 KB
lola: time consumption: 952 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N100-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: 100
lola: 299252 markings, 940089 edges, 59850 markings/sec, 0 secs
lola: 614131 markings, 1915349 edges, 62976 markings/sec, 5 secs
lola: 930032 markings, 2884223 edges, 63180 markings/sec, 10 secs
lola: 1246575 markings, 3824346 edges, 63309 markings/sec, 15 secs
lola: 1563252 markings, 4734700 edges, 63335 markings/sec, 20 secs
lola: 1880445 markings, 5668527 edges, 63439 markings/sec, 25 secs
lola: 2195312 markings, 6622149 edges, 62973 markings/sec, 30 secs
lola: 2510132 markings, 7554317 edges, 62964 markings/sec, 35 secs
lola: 2825346 markings, 8457886 edges, 63043 markings/sec, 40 secs
lola: 3140322 markings, 9360557 edges, 62995 markings/sec, 45 secs
lola: 3456956 markings, 10269128 edges, 63327 markings/sec, 50 secs
lola: 3773011 markings, 11187831 edges, 63211 markings/sec, 55 secs
lola: 4086621 markings, 12124300 edges, 62722 markings/sec, 60 secs
lola: 4402201 markings, 13061019 edges, 63116 markings/sec, 65 secs
lola: 4716657 markings, 13963454 edges, 62891 markings/sec, 70 secs
lola: 5030196 markings, 14886646 edges, 62708 markings/sec, 75 secs
lola: 5343840 markings, 15784097 edges, 62729 markings/sec, 80 secs
lola: 5657149 markings, 16681818 edges, 62662 markings/sec, 85 secs
lola: 5971016 markings, 17580231 edges, 62773 markings/sec, 90 secs
lola: 6284401 markings, 18477456 edges, 62677 markings/sec, 95 secs
lola: 6603615 markings, 19401458 edges, 63843 markings/sec, 100 secs
lola: 6916532 markings, 20298150 edges, 62583 markings/sec, 105 secs
lola: 7229509 markings, 21236876 edges, 62595 markings/sec, 110 secs
lola: 7544659 markings, 22139612 edges, 63030 markings/sec, 115 secs
lola: 7859807 markings, 23080760 edges, 63030 markings/sec, 120 secs
lola: 8173140 markings, 23974625 edges, 62667 markings/sec, 125 secs
lola: 8485783 markings, 24895082 edges, 62529 markings/sec, 130 secs
lola: 8798104 markings, 25789830 edges, 62464 markings/sec, 135 secs
lola: 9110085 markings, 26681938 edges, 62396 markings/sec, 140 secs
lola: 9421617 markings, 27574568 edges, 62306 markings/sec, 145 secs
lola: 9732948 markings, 28466110 edges, 62266 markings/sec, 150 secs
lola: 10045924 markings, 29361052 edges, 62595 markings/sec, 155 secs
lola: 10357277 markings, 30252734 edges, 62271 markings/sec, 160 secs
lola: 10672833 markings, 31147821 edges, 63111 markings/sec, 165 secs
lola: 10991034 markings, 32068480 edges, 63640 markings/sec, 170 secs
lola: 11302032 markings, 32959331 edges, 62200 markings/sec, 175 secs
lola: 11614250 markings, 33855286 edges, 62444 markings/sec, 180 secs
lola: 11925844 markings, 34792110 edges, 62319 markings/sec, 185 secs
lola: 12239782 markings, 35691579 edges, 62788 markings/sec, 190 secs
lola: 12552851 markings, 36627215 edges, 62614 markings/sec, 195 secs
lola: 12868385 markings, 37527528 edges, 63107 markings/sec, 200 secs
lola: 13179437 markings, 38418505 edges, 62210 markings/sec, 205 secs
lola: 13491265 markings, 39325585 edges, 62366 markings/sec, 210 secs
lola: 13802767 markings, 40228589 edges, 62300 markings/sec, 215 secs
lola: 14114150 markings, 41120898 edges, 62277 markings/sec, 220 secs
lola: 14425625 markings, 42010701 edges, 62295 markings/sec, 225 secs
lola: 14735706 markings, 42899306 edges, 62016 markings/sec, 230 secs
lola: 15046709 markings, 43789749 edges, 62201 markings/sec, 235 secs
lola: 15355522 markings, 44674362 edges, 61763 markings/sec, 240 secs
lola: 15666178 markings, 45564088 edges, 62131 markings/sec, 245 secs
lola: 15977361 markings, 46452760 edges, 62237 markings/sec, 250 secs
lola: 16288061 markings, 47342769 edges, 62140 markings/sec, 255 secs
lola: 16601230 markings, 48231874 edges, 62634 markings/sec, 260 secs
lola: 16921337 markings, 49131890 edges, 64021 markings/sec, 265 secs
lola: 17234804 markings, 50041538 edges, 62693 markings/sec, 270 secs
lola: 17545315 markings, 50930851 edges, 62102 markings/sec, 275 secs
lola: 17855941 markings, 51820835 edges, 62125 markings/sec, 280 secs
lola: 18167128 markings, 52762115 edges, 62237 markings/sec, 285 secs
lola: 18478661 markings, 53654614 edges, 62307 markings/sec, 290 secs
lola: 18792290 markings, 54553340 edges, 62726 markings/sec, 295 secs
lola: 19104036 markings, 55486831 edges, 62349 markings/sec, 300 secs
lola: 19420288 markings, 56387775 edges, 63250 markings/sec, 305 secs
lola: 19728217 markings, 57269751 edges, 61586 markings/sec, 310 secs
lola: 20039133 markings, 58160415 edges, 62183 markings/sec, 315 secs
lola: 20350195 markings, 59059897 edges, 62212 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: 100 100 100 100 unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5511064 KB
lola: time consumption: 1280 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__7_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_9_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N100-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: 100
lola: 318788 markings, 960409 edges, 63758 markings/sec, 0 secs
lola: 630273 markings, 1968453 edges, 62297 markings/sec, 5 secs
lola: 941456 markings, 2961347 edges, 62237 markings/sec, 10 secs
lola: 1253065 markings, 3965569 edges, 62322 markings/sec, 15 secs
lola: 1569943 markings, 4965821 edges, 63376 markings/sec, 20 secs
lola: 1887235 markings, 5969851 edges, 63458 markings/sec, 25 secs
lola: 2204587 markings, 6973679 edges, 63470 markings/sec, 30 secs
lola: 2522786 markings, 7977844 edges, 63640 markings/sec, 35 secs
lola: 2841350 markings, 8983944 edges, 63713 markings/sec, 40 secs
lola: 3161927 markings, 9997093 edges, 64115 markings/sec, 45 secs
lola: 3451460 markings, 10894741 edges, 57907 markings/sec, 50 secs
lola: 3759938 markings, 11830238 edges, 61696 markings/sec, 55 secs
lola: 4047915 markings, 12703018 edges, 57595 markings/sec, 60 secs
lola: 4363611 markings, 13659733 edges, 63139 markings/sec, 65 secs
lola: 4682648 markings, 14632170 edges, 63807 markings/sec, 70 secs
lola: 5003787 markings, 15605050 edges, 64228 markings/sec, 75 secs
lola: 5326028 markings, 16582280 edges, 64448 markings/sec, 80 secs
lola: 5640698 markings, 17554058 edges, 62934 markings/sec, 85 secs
lola: 5947597 markings, 18541599 edges, 61380 markings/sec, 90 secs
lola: 6255808 markings, 19522422 edges, 61642 markings/sec, 95 secs
lola: 6566203 markings, 20522819 edges, 62079 markings/sec, 100 secs
lola: 6874012 markings, 21501173 edges, 61562 markings/sec, 105 secs
lola: 7183266 markings, 22495946 edges, 61851 markings/sec, 110 secs
lola: 7492623 markings, 23494630 edges, 61871 markings/sec, 115 secs
lola: 7797831 markings, 24481097 edges, 61042 markings/sec, 120 secs
lola: 8099702 markings, 25469064 edges, 60374 markings/sec, 125 secs
lola: 8405525 markings, 26448843 edges, 61165 markings/sec, 130 secs
lola: 8709696 markings, 27439074 edges, 60834 markings/sec, 135 secs
lola: 9012944 markings, 28399710 edges, 60650 markings/sec, 140 secs
lola: 9321596 markings, 29384091 edges, 61730 markings/sec, 145 secs
lola: 9630735 markings, 30375235 edges, 61828 markings/sec, 150 secs
lola: 9915722 markings, 31291240 edges, 56997 markings/sec, 155 secs
lola: 10222237 markings, 32271191 edges, 61303 markings/sec, 160 secs
lola: 10524882 markings, 33248342 edges, 60529 markings/sec, 165 secs
lola: 10834512 markings, 34238179 edges, 61926 markings/sec, 170 secs
lola: 11121735 markings, 35129736 edges, 57445 markings/sec, 175 secs
lola: 11428606 markings, 36083778 edges, 61374 markings/sec, 180 secs
lola: 11737772 markings, 37076117 edges, 61833 markings/sec, 185 secs
lola: 12038994 markings, 38030622 edges, 60244 markings/sec, 190 secs
lola: 12344200 markings, 39005396 edges, 61041 markings/sec, 195 secs
lola: 12657089 markings, 39996355 edges, 62578 markings/sec, 200 secs
lola: 12969869 markings, 41002204 edges, 62556 markings/sec, 205 secs
lola: 13282546 markings, 41991761 edges, 62535 markings/sec, 210 secs
lola: 13591702 markings, 42978331 edges, 61831 markings/sec, 215 secs
lola: 13906249 markings, 43982665 edges, 62909 markings/sec, 220 secs
lola: 14214208 markings, 44964286 edges, 61592 markings/sec, 225 secs
lola: 14527565 markings, 45961914 edges, 62671 markings/sec, 230 secs
lola: 14841482 markings, 46959010 edges, 62783 markings/sec, 235 secs
lola: 15154768 markings, 47966703 edges, 62657 markings/sec, 240 secs
lola: 15468586 markings, 48959209 edges, 62764 markings/sec, 245 secs
lola: 15782760 markings, 49961651 edges, 62835 markings/sec, 250 secs
lola: 16097175 markings, 50964615 edges, 62883 markings/sec, 255 secs
lola: 16409874 markings, 51962752 edges, 62540 markings/sec, 260 secs
lola: 16723210 markings, 52959005 edges, 62667 markings/sec, 265 secs
lola: 17036746 markings, 53956371 edges, 62707 markings/sec, 270 secs
lola: 17350732 markings, 54965391 edges, 62797 markings/sec, 275 secs
lola: 17664779 markings, 55958798 edges, 62809 markings/sec, 280 secs
lola: 17977176 markings, 56955417 edges, 62479 markings/sec, 285 secs
lola: 18283318 markings, 57929193 edges, 61228 markings/sec, 290 secs
lola: 18597202 markings, 58936022 edges, 62777 markings/sec, 295 secs
lola: 18910726 markings, 59929791 edges, 62705 markings/sec, 300 secs
lola: 19224145 markings, 60928873 edges, 62684 markings/sec, 305 secs
lola: 19538472 markings, 61934860 edges, 62865 markings/sec, 310 secs
lola: 19852101 markings, 62932297 edges, 62726 markings/sec, 315 secs
lola: 20165295 markings, 63931836 edges, 62639 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: 100 100 100 100 unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6464248 KB
lola: time consumption: 1607 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 327 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-D10N100-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: 100
lola: 309158 markings, 999013 edges, 61832 markings/sec, 0 secs
lola: 629826 markings, 2035377 edges, 64134 markings/sec, 5 secs
lola: 950367 markings, 3076842 edges, 64108 markings/sec, 10 secs
lola: 1269485 markings, 4108985 edges, 63824 markings/sec, 15 secs
lola: 1590042 markings, 5136230 edges, 64111 markings/sec, 20 secs
lola: 1912413 markings, 6182661 edges, 64474 markings/sec, 25 secs
lola: 2234898 markings, 7230903 edges, 64497 markings/sec, 30 secs
lola: 2556431 markings, 8284568 edges, 64307 markings/sec, 35 secs
lola: 2878227 markings, 9327484 edges, 64359 markings/sec, 40 secs
lola: 3199620 markings, 10387083 edges, 64279 markings/sec, 45 secs
lola: 3519491 markings, 11431175 edges, 63974 markings/sec, 50 secs
lola: 3838261 markings, 12467056 edges, 63754 markings/sec, 55 secs
lola: 4157280 markings, 13512237 edges, 63804 markings/sec, 60 secs
lola: 4477157 markings, 14544011 edges, 63975 markings/sec, 65 secs
lola: 4796618 markings, 15576775 edges, 63892 markings/sec, 70 secs
lola: 5116346 markings, 16615666 edges, 63946 markings/sec, 75 secs
lola: 5434936 markings, 17649628 edges, 63718 markings/sec, 80 secs
lola: 5754421 markings, 18686788 edges, 63897 markings/sec, 85 secs
lola: 6074689 markings, 19708730 edges, 64054 markings/sec, 90 secs
lola: 6395257 markings, 20729608 edges, 64114 markings/sec, 95 secs
lola: 6715334 markings, 21752779 edges, 64015 markings/sec, 100 secs
lola: 7033897 markings, 22774826 edges, 63713 markings/sec, 105 secs
lola: 7354765 markings, 23793260 edges, 64174 markings/sec, 110 secs
lola: 7672184 markings, 24831579 edges, 63484 markings/sec, 115 secs
lola: 7993765 markings, 25856939 edges, 64316 markings/sec, 120 secs
lola: 8314482 markings, 26891881 edges, 64143 markings/sec, 125 secs
lola: 8633225 markings, 27940901 edges, 63749 markings/sec, 130 secs
lola: 8955506 markings, 28975001 edges, 64456 markings/sec, 135 secs
lola: 9274127 markings, 29997683 edges, 63724 markings/sec, 140 secs
lola: 9592706 markings, 31015828 edges, 63716 markings/sec, 145 secs
lola: 9911874 markings, 32025740 edges, 63834 markings/sec, 150 secs
lola: 10231421 markings, 33031651 edges, 63909 markings/sec, 155 secs
lola: 10550997 markings, 34046738 edges, 63915 markings/sec, 160 secs
lola: 10869727 markings, 35053725 edges, 63746 markings/sec, 165 secs
lola: 11190690 markings, 36067959 edges, 64193 markings/sec, 170 secs
lola: 11510682 markings, 37084364 edges, 63998 markings/sec, 175 secs
lola: 11823557 markings, 38097164 edges, 62575 markings/sec, 180 secs
lola: 12145002 markings, 39108923 edges, 64289 markings/sec, 185 secs
lola: 12464431 markings, 40139113 edges, 63886 markings/sec, 190 secs
lola: 12782374 markings, 41166145 edges, 63589 markings/sec, 195 secs
lola: 13101835 markings, 42182655 edges, 63892 markings/sec, 200 secs
lola: 13420397 markings, 43184374 edges, 63712 markings/sec, 205 secs
lola: 13740445 markings, 44195589 edges, 64010 markings/sec, 210 secs
lola: 14058811 markings, 45205422 edges, 63673 markings/sec, 215 secs
lola: 14377588 markings, 46214514 edges, 63755 markings/sec, 220 secs
lola: 14697212 markings, 47218104 edges, 63925 markings/sec, 225 secs
lola: 15018344 markings, 48228108 edges, 64226 markings/sec, 230 secs
lola: 15341113 markings, 49240239 edges, 64554 markings/sec, 235 secs
lola: 15664885 markings, 50268945 edges, 64754 markings/sec, 240 secs
lola: 15950087 markings, 51180256 edges, 57040 markings/sec, 245 secs
lola: 16267302 markings, 52195548 edges, 63443 markings/sec, 250 secs
lola: 16586008 markings, 53201702 edges, 63741 markings/sec, 255 secs
lola: 16906087 markings, 54203847 edges, 64016 markings/sec, 260 secs
lola: 17227069 markings, 55204871 edges, 64196 markings/sec, 265 secs
lola: 17549254 markings, 56220204 edges, 64437 markings/sec, 270 secs
lola: 17870432 markings, 57246498 edges, 64236 markings/sec, 275 secs
lola: 18191760 markings, 58275456 edges, 64266 markings/sec, 280 secs
lola: 18509927 markings, 59269863 edges, 63633 markings/sec, 285 secs
lola: 18829776 markings, 60272673 edges, 63970 markings/sec, 290 secs
lola: 19151416 markings, 61274888 edges, 64328 markings/sec, 295 secs
lola: 19471612 markings, 62270650 edges, 64039 markings/sec, 300 secs
lola: 19792655 markings, 63266640 edges, 64209 markings/sec, 305 secs
lola: 20112941 markings, 64264563 edges, 64057 markings/sec, 310 secs
lola: 20431317 markings, 65273505 edges, 63675 markings/sec, 315 secs
lola: 20750294 markings, 66285230 edges, 63795 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: 100 100 100 100 unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6075576 KB
lola: time consumption: 1935 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N100-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: 100
lola: 317522 markings, 995726 edges, 63504 markings/sec, 0 secs
lola: 634400 markings, 1976811 edges, 63376 markings/sec, 5 secs
lola: 951705 markings, 2949502 edges, 63461 markings/sec, 10 secs
lola: 1269313 markings, 3889635 edges, 63522 markings/sec, 15 secs
lola: 1587697 markings, 4805938 edges, 63677 markings/sec, 20 secs
lola: 1905105 markings, 5749602 edges, 63482 markings/sec, 25 secs
lola: 2222189 markings, 6700738 edges, 63417 markings/sec, 30 secs
lola: 2538365 markings, 7636200 edges, 63235 markings/sec, 35 secs
lola: 2854501 markings, 8541321 edges, 63227 markings/sec, 40 secs
lola: 3170590 markings, 9447231 edges, 63218 markings/sec, 45 secs
lola: 3488737 markings, 10363082 edges, 63629 markings/sec, 50 secs
lola: 3805436 markings, 11280720 edges, 63340 markings/sec, 55 secs
lola: 4120880 markings, 12222633 edges, 63089 markings/sec, 60 secs
lola: 4438147 markings, 13166757 edges, 63453 markings/sec, 65 secs
lola: 4753810 markings, 14071891 edges, 63133 markings/sec, 70 secs
lola: 5068858 markings, 14997539 edges, 63010 markings/sec, 75 secs
lola: 5383765 markings, 15898806 edges, 62981 markings/sec, 80 secs
lola: 5697932 markings, 16798782 edges, 62833 markings/sec, 85 secs
lola: 6013290 markings, 17701056 edges, 63072 markings/sec, 90 secs
lola: 6329670 markings, 18604256 edges, 63276 markings/sec, 95 secs
lola: 6648540 markings, 19530405 edges, 63774 markings/sec, 100 secs
lola: 6962491 markings, 20429769 edges, 62790 markings/sec, 105 secs
lola: 7276663 markings, 21371724 edges, 62834 markings/sec, 110 secs
lola: 7592992 markings, 22286395 edges, 63266 markings/sec, 115 secs
lola: 7909874 markings, 23220238 edges, 63376 markings/sec, 120 secs
lola: 8223237 markings, 24118297 edges, 62673 markings/sec, 125 secs
lola: 8537917 markings, 25044243 edges, 62936 markings/sec, 130 secs
lola: 8851261 markings, 25942117 edges, 62669 markings/sec, 135 secs
lola: 9164125 markings, 26836813 edges, 62573 markings/sec, 140 secs
lola: 9478526 markings, 27737346 edges, 62880 markings/sec, 145 secs
lola: 9790756 markings, 28631775 edges, 62446 markings/sec, 150 secs
lola: 10105166 markings, 29530311 edges, 62882 markings/sec, 155 secs
lola: 10418049 markings, 30427059 edges, 62577 markings/sec, 160 secs
lola: 10736743 markings, 31327138 edges, 63739 markings/sec, 165 secs
lola: 11054554 markings, 32250409 edges, 63562 markings/sec, 170 secs
lola: 11367227 markings, 33145808 edges, 62535 markings/sec, 175 secs
lola: 11680868 markings, 34057096 edges, 62728 markings/sec, 180 secs
lola: 11994293 markings, 34988255 edges, 62685 markings/sec, 185 secs
lola: 12310145 markings, 35893051 edges, 63170 markings/sec, 190 secs
lola: 12625710 markings, 36831499 edges, 63113 markings/sec, 195 secs
lola: 12939705 markings, 37731762 edges, 62799 markings/sec, 200 secs
lola: 13252504 markings, 38627891 edges, 62560 markings/sec, 205 secs
lola: 13566085 markings, 39550457 edges, 62716 markings/sec, 210 secs
lola: 13877599 markings, 40443067 edges, 62303 markings/sec, 215 secs
lola: 14190808 markings, 41340325 edges, 62642 markings/sec, 220 secs
lola: 14503079 markings, 42232761 edges, 62454 markings/sec, 225 secs
lola: 14815113 markings, 43126768 edges, 62407 markings/sec, 230 secs
lola: 15127785 markings, 44021901 edges, 62534 markings/sec, 235 secs
lola: 15438941 markings, 44913457 edges, 62231 markings/sec, 240 secs
lola: 15751903 markings, 45809472 edges, 62592 markings/sec, 245 secs
lola: 16063352 markings, 46699100 edges, 62290 markings/sec, 250 secs
lola: 16376271 markings, 47595417 edges, 62584 markings/sec, 255 secs
lola: 16694825 markings, 48490216 edges, 63711 markings/sec, 260 secs
lola: 17014854 markings, 49410374 edges, 64006 markings/sec, 265 secs
lola: 17327367 markings, 50306731 edges, 62503 markings/sec, 270 secs
lola: 17639680 markings, 51201229 edges, 62463 markings/sec, 275 secs
lola: 17952806 markings, 52103211 edges, 62625 markings/sec, 280 secs
lola: 18265642 markings, 53044629 edges, 62567 markings/sec, 285 secs
lola: 18578377 markings, 53940504 edges, 62547 markings/sec, 290 secs
lola: 18894656 markings, 54846368 edges, 63256 markings/sec, 295 secs
lola: 19209940 markings, 55785374 edges, 63057 markings/sec, 300 secs
lola: 19525175 markings, 56688363 edges, 63047 markings/sec, 305 secs
lola: 19835894 markings, 57578108 edges, 62144 markings/sec, 310 secs
lola: 20147047 markings, 58469553 edges, 62231 markings/sec, 315 secs
lola: 20461296 markings, 59394281 edges, 62850 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: 100 100 100 100 unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5539676 KB
lola: time consumption: 2262 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 327 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-D10N100-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: 100
lola: 303723 markings, 1095789 edges, 60745 markings/sec, 0 secs
lola: 613678 markings, 2212406 edges, 61991 markings/sec, 5 secs
lola: 923171 markings, 3342354 edges, 61899 markings/sec, 10 secs
lola: 1230254 markings, 4514522 edges, 61417 markings/sec, 15 secs
lola: 1538054 markings, 5669564 edges, 61560 markings/sec, 20 secs
lola: 1840107 markings, 6821799 edges, 60411 markings/sec, 25 secs
lola: 2142355 markings, 7984170 edges, 60450 markings/sec, 30 secs
lola: 2446082 markings, 9169894 edges, 60745 markings/sec, 35 secs
lola: 2749225 markings, 10335811 edges, 60629 markings/sec, 40 secs
lola: 3049317 markings, 11495297 edges, 60018 markings/sec, 45 secs
lola: 3362548 markings, 12694538 edges, 62646 markings/sec, 50 secs
lola: 3670876 markings, 13891439 edges, 61666 markings/sec, 55 secs
lola: 3979102 markings, 15083525 edges, 61645 markings/sec, 60 secs
lola: 4289907 markings, 16249565 edges, 62161 markings/sec, 65 secs
lola: 4596321 markings, 17418733 edges, 61283 markings/sec, 70 secs
lola: 4898721 markings, 18592365 edges, 60480 markings/sec, 75 secs
lola: 5206429 markings, 19789660 edges, 61542 markings/sec, 80 secs
lola: 5507490 markings, 20980144 edges, 60212 markings/sec, 85 secs
lola: 5798798 markings, 22116736 edges, 58262 markings/sec, 90 secs
lola: 6102767 markings, 23291678 edges, 60794 markings/sec, 95 secs
lola: 6406981 markings, 24468205 edges, 60843 markings/sec, 100 secs
lola: 6704788 markings, 25627409 edges, 59561 markings/sec, 105 secs
lola: 7000504 markings, 26770894 edges, 59143 markings/sec, 110 secs
lola: 7298494 markings, 27892352 edges, 59598 markings/sec, 115 secs
lola: 7603183 markings, 29006101 edges, 60938 markings/sec, 120 secs
lola: 7906552 markings, 30196125 edges, 60674 markings/sec, 125 secs
lola: 8209896 markings, 31372049 edges, 60669 markings/sec, 130 secs
lola: 8510334 markings, 32535437 edges, 60088 markings/sec, 135 secs
lola: 8809249 markings, 33701339 edges, 59783 markings/sec, 140 secs
lola: 9104967 markings, 34867993 edges, 59144 markings/sec, 145 secs
lola: 9407036 markings, 36040856 edges, 60414 markings/sec, 150 secs
lola: 9707746 markings, 37228801 edges, 60142 markings/sec, 155 secs
lola: 10006388 markings, 38404202 edges, 59728 markings/sec, 160 secs
lola: 10303783 markings, 39575486 edges, 59479 markings/sec, 165 secs
lola: 10599660 markings, 40728601 edges, 59175 markings/sec, 170 secs
lola: 10891545 markings, 41869330 edges, 58377 markings/sec, 175 secs
lola: 11186107 markings, 42995250 edges, 58912 markings/sec, 180 secs
lola: 11483864 markings, 44153199 edges, 59551 markings/sec, 185 secs
lola: 11779355 markings, 45330347 edges, 59098 markings/sec, 190 secs
lola: 12078588 markings, 46515104 edges, 59847 markings/sec, 195 secs
lola: 12376174 markings, 47688944 edges, 59517 markings/sec, 200 secs
lola: 12671608 markings, 48856863 edges, 59087 markings/sec, 205 secs
lola: 12966231 markings, 50045092 edges, 58925 markings/sec, 210 secs
lola: 13260859 markings, 51249818 edges, 58926 markings/sec, 215 secs
lola: 13557658 markings, 52444352 edges, 59360 markings/sec, 220 secs
lola: 13858360 markings, 53641348 edges, 60140 markings/sec, 225 secs
lola: 14158728 markings, 54812254 edges, 60074 markings/sec, 230 secs
lola: 14460627 markings, 55993741 edges, 60380 markings/sec, 235 secs
lola: 14765559 markings, 57186174 edges, 60986 markings/sec, 240 secs
lola: 15067523 markings, 58384865 edges, 60393 markings/sec, 245 secs
lola: 15366815 markings, 59575950 edges, 59858 markings/sec, 250 secs
lola: 15664234 markings, 60766486 edges, 59484 markings/sec, 255 secs
lola: 15960474 markings, 61952324 edges, 59248 markings/sec, 260 secs
lola: 16253244 markings, 63109263 edges, 58554 markings/sec, 265 secs
lola: 16548711 markings, 64277736 edges, 59093 markings/sec, 270 secs
lola: 16847287 markings, 65441875 edges, 59715 markings/sec, 275 secs
lola: 17145529 markings, 66641309 edges, 59648 markings/sec, 280 secs
lola: 17441832 markings, 67828899 edges, 59261 markings/sec, 285 secs
lola: 17736239 markings, 69008367 edges, 58881 markings/sec, 290 secs
lola: 18030153 markings, 70216702 edges, 58783 markings/sec, 295 secs
lola: 18335039 markings, 71416613 edges, 60977 markings/sec, 300 secs
lola: 18641641 markings, 72641065 edges, 61320 markings/sec, 305 secs
lola: 18950985 markings, 73875162 edges, 61869 markings/sec, 310 secs
lola: 19257639 markings, 75055970 edges, 61331 markings/sec, 315 secs
lola: 19563457 markings, 76289106 edges, 61164 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: 100 100 100 100 unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5785700 KB
lola: time consumption: 2589 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 326 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-D10N100-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: 100
lola: 313416 markings, 1138999 edges, 62683 markings/sec, 0 secs
lola: 625114 markings, 2297513 edges, 62340 markings/sec, 5 secs
lola: 935910 markings, 3460866 edges, 62159 markings/sec, 10 secs
lola: 1245978 markings, 4637518 edges, 62014 markings/sec, 15 secs
lola: 1554890 markings, 5821993 edges, 61782 markings/sec, 20 secs
lola: 1866129 markings, 7012529 edges, 62248 markings/sec, 25 secs
lola: 2175372 markings, 8220743 edges, 61849 markings/sec, 30 secs
lola: 2485541 markings, 9405687 edges, 62034 markings/sec, 35 secs
lola: 2791350 markings, 10571580 edges, 61162 markings/sec, 40 secs
lola: 3098657 markings, 11763128 edges, 61461 markings/sec, 45 secs
lola: 3400125 markings, 12931194 edges, 60294 markings/sec, 50 secs
lola: 3707130 markings, 14089719 edges, 61401 markings/sec, 55 secs
lola: 4020749 markings, 15279259 edges, 62724 markings/sec, 60 secs
lola: 4325132 markings, 16486993 edges, 60877 markings/sec, 65 secs
lola: 4632107 markings, 17653651 edges, 61395 markings/sec, 70 secs
lola: 4937613 markings, 18843368 edges, 61101 markings/sec, 75 secs
lola: 5246573 markings, 20045268 edges, 61792 markings/sec, 80 secs
lola: 5554146 markings, 21220094 edges, 61515 markings/sec, 85 secs
lola: 5858717 markings, 22405226 edges, 60914 markings/sec, 90 secs
lola: 6167426 markings, 23580719 edges, 61742 markings/sec, 95 secs
lola: 6475556 markings, 24738918 edges, 61626 markings/sec, 100 secs
lola: 6784850 markings, 25923108 edges, 61859 markings/sec, 105 secs
lola: 7091013 markings, 27106718 edges, 61233 markings/sec, 110 secs
lola: 7395467 markings, 28273583 edges, 60891 markings/sec, 115 secs
lola: 7701764 markings, 29448954 edges, 61259 markings/sec, 120 secs
lola: 8009600 markings, 30633773 edges, 61567 markings/sec, 125 secs
lola: 8316524 markings, 31845102 edges, 61385 markings/sec, 130 secs
lola: 8622556 markings, 33041869 edges, 61206 markings/sec, 135 secs
lola: 8929349 markings, 34234647 edges, 61359 markings/sec, 140 secs
lola: 9236828 markings, 35433147 edges, 61496 markings/sec, 145 secs
lola: 9543198 markings, 36632933 edges, 61274 markings/sec, 150 secs
lola: 9849023 markings, 37802798 edges, 61165 markings/sec, 155 secs
lola: 10152839 markings, 38984065 edges, 60763 markings/sec, 160 secs
lola: 10459471 markings, 40158365 edges, 61326 markings/sec, 165 secs
lola: 10763443 markings, 41349364 edges, 60794 markings/sec, 170 secs
lola: 11077408 markings, 42547046 edges, 62793 markings/sec, 175 secs
lola: 11382177 markings, 43730577 edges, 60954 markings/sec, 180 secs
lola: 11688455 markings, 44888048 edges, 61256 markings/sec, 185 secs
lola: 11993688 markings, 46067001 edges, 61047 markings/sec, 190 secs
lola: 12297032 markings, 47249699 edges, 60669 markings/sec, 195 secs
lola: 12601151 markings, 48434582 edges, 60824 markings/sec, 200 secs
lola: 12905252 markings, 49620501 edges, 60820 markings/sec, 205 secs
lola: 13214186 markings, 50807681 edges, 61787 markings/sec, 210 secs
lola: 13520688 markings, 52000829 edges, 61300 markings/sec, 215 secs
lola: 13825813 markings, 53201632 edges, 61025 markings/sec, 220 secs
lola: 14129079 markings, 54377951 edges, 60653 markings/sec, 225 secs
lola: 14428843 markings, 55589110 edges, 59953 markings/sec, 230 secs
lola: 14739160 markings, 56787654 edges, 62063 markings/sec, 235 secs
lola: 15050475 markings, 57985060 edges, 62263 markings/sec, 240 secs
lola: 15362617 markings, 59182310 edges, 62428 markings/sec, 245 secs
lola: 15672247 markings, 60393819 edges, 61926 markings/sec, 250 secs
lola: 15979819 markings, 61602426 edges, 61514 markings/sec, 255 secs
lola: 16288149 markings, 62822737 edges, 61666 markings/sec, 260 secs
lola: 16598229 markings, 64036708 edges, 62016 markings/sec, 265 secs
lola: 16907181 markings, 65265927 edges, 61790 markings/sec, 270 secs
lola: 17217451 markings, 66477129 edges, 62054 markings/sec, 275 secs
lola: 17529046 markings, 67693984 edges, 62319 markings/sec, 280 secs
lola: 17835125 markings, 68880711 edges, 61216 markings/sec, 285 secs
lola: 18139775 markings, 70071262 edges, 60930 markings/sec, 290 secs
lola: 18445450 markings, 71267777 edges, 61135 markings/sec, 295 secs
lola: 18756042 markings, 72461108 edges, 62118 markings/sec, 300 secs
lola: 19067487 markings, 73670056 edges, 62289 markings/sec, 305 secs
lola: 19378443 markings, 74874784 edges, 62191 markings/sec, 310 secs
lola: 19687548 markings, 76102923 edges, 61821 markings/sec, 315 secs
lola: 19997647 markings, 77323705 edges, 62020 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: 100 100 100 100 unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5948912 KB
lola: time consumption: 2916 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N100-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: 100
lola: 314282 markings, 893553 edges, 62856 markings/sec, 0 secs
lola: 642525 markings, 1833915 edges, 65649 markings/sec, 5 secs
lola: 974822 markings, 2785704 edges, 66459 markings/sec, 10 secs
lola: 1303990 markings, 3728766 edges, 65834 markings/sec, 15 secs
lola: 1636863 markings, 4671177 edges, 66575 markings/sec, 20 secs
lola: 1967964 markings, 5578720 edges, 66220 markings/sec, 25 secs
lola: 2292392 markings, 6508113 edges, 64886 markings/sec, 30 secs
lola: 2618947 markings, 7443848 edges, 65311 markings/sec, 35 secs
lola: 2948282 markings, 8387401 edges, 65867 markings/sec, 40 secs
lola: 3278114 markings, 9336441 edges, 65966 markings/sec, 45 secs
lola: 3605216 markings, 10280235 edges, 65420 markings/sec, 50 secs
lola: 3932532 markings, 11218039 edges, 65463 markings/sec, 55 secs
lola: 4259304 markings, 12162345 edges, 65354 markings/sec, 60 secs
lola: 4580222 markings, 13081968 edges, 64184 markings/sec, 65 secs
lola: 4902162 markings, 14003782 edges, 64388 markings/sec, 70 secs
lola: 5229326 markings, 14941293 edges, 65433 markings/sec, 75 secs
lola: 5556519 markings, 15878390 edges, 65439 markings/sec, 80 secs
lola: 5874681 markings, 16863502 edges, 63632 markings/sec, 85 secs
lola: 6193863 markings, 17816287 edges, 63836 markings/sec, 90 secs
lola: 6508303 markings, 18717375 edges, 62888 markings/sec, 95 secs
lola: 6819825 markings, 19609523 edges, 62304 markings/sec, 100 secs
lola: 7144400 markings, 20539405 edges, 64915 markings/sec, 105 secs
lola: 7468554 markings, 21468510 edges, 64831 markings/sec, 110 secs
lola: 7787244 markings, 22381291 edges, 63738 markings/sec, 115 secs
lola: 8108967 markings, 23302992 edges, 64345 markings/sec, 120 secs
lola: 8397422 markings, 24129440 edges, 57691 markings/sec, 125 secs
lola: 8677685 markings, 24932153 edges, 56053 markings/sec, 130 secs
lola: 8955236 markings, 25791374 edges, 55510 markings/sec, 135 secs
lola: 9263186 markings, 26724005 edges, 61590 markings/sec, 140 secs
lola: 9583412 markings, 27641442 edges, 64045 markings/sec, 145 secs
lola: 9892809 markings, 28530740 edges, 61879 markings/sec, 150 secs
lola: 10183754 markings, 29367060 edges, 58189 markings/sec, 155 secs
lola: 10501591 markings, 30277555 edges, 63567 markings/sec, 160 secs
lola: 10789735 markings, 31103077 edges, 57629 markings/sec, 165 secs
lola: 11074117 markings, 31917546 edges, 56876 markings/sec, 170 secs
lola: 11382693 markings, 32803785 edges, 61715 markings/sec, 175 secs
lola: 11674586 markings, 33638501 edges, 58379 markings/sec, 180 secs
lola: 11966216 markings, 34474403 edges, 58326 markings/sec, 185 secs
lola: 12278687 markings, 35408290 edges, 62494 markings/sec, 190 secs
lola: 12594269 markings, 36380386 edges, 63116 markings/sec, 195 secs
lola: 12914538 markings, 37297922 edges, 64054 markings/sec, 200 secs
lola: 13235234 markings, 38216797 edges, 64139 markings/sec, 205 secs
lola: 13557018 markings, 39138061 edges, 64357 markings/sec, 210 secs
lola: 13878384 markings, 40058980 edges, 64273 markings/sec, 215 secs
lola: 14191655 markings, 41056391 edges, 62654 markings/sec, 220 secs
lola: 14507169 markings, 42038409 edges, 63103 markings/sec, 225 secs
lola: 14834738 markings, 42977385 edges, 65514 markings/sec, 230 secs
lola: 15162897 markings, 43916952 edges, 65632 markings/sec, 235 secs
lola: 15493560 markings, 44864646 edges, 66133 markings/sec, 240 secs
lola: 15823502 markings, 45809426 edges, 65988 markings/sec, 245 secs
lola: 16143301 markings, 46781986 edges, 63960 markings/sec, 250 secs
lola: 16459019 markings, 47707705 edges, 63144 markings/sec, 255 secs
lola: 16777071 markings, 48618599 edges, 63610 markings/sec, 260 secs
lola: 17097515 markings, 49536626 edges, 64089 markings/sec, 265 secs
lola: 17417674 markings, 50453682 edges, 64032 markings/sec, 270 secs
lola: 17734204 markings, 51397395 edges, 63306 markings/sec, 275 secs
lola: 18054177 markings, 52314018 edges, 63995 markings/sec, 280 secs
lola: 18374133 markings, 53232647 edges, 63991 markings/sec, 285 secs
lola: 18697697 markings, 54157435 edges, 64713 markings/sec, 290 secs
lola: 19020929 markings, 55083569 edges, 64646 markings/sec, 295 secs
lola: 19337531 markings, 55990166 edges, 63320 markings/sec, 300 secs
lola: 19647445 markings, 56878253 edges, 61983 markings/sec, 305 secs
lola: 19959723 markings, 57772434 edges, 62456 markings/sec, 310 secs
lola: 20273603 markings, 58672161 edges, 62776 markings/sec, 315 secs
lola: 20589059 markings, 59575570 edges, 63091 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: 100 100 100 100 unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6321980 KB
lola: time consumption: 3243 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N100-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: 100
lola: 311202 markings, 1042877 edges, 62240 markings/sec, 0 secs
lola: 628897 markings, 2086507 edges, 63539 markings/sec, 5 secs
lola: 946505 markings, 3127680 edges, 63522 markings/sec, 10 secs
lola: 1263398 markings, 4179881 edges, 63379 markings/sec, 15 secs
lola: 1582462 markings, 5214694 edges, 63813 markings/sec, 20 secs
lola: 1899710 markings, 6254024 edges, 63450 markings/sec, 25 secs
lola: 2215482 markings, 7296535 edges, 63154 markings/sec, 30 secs
lola: 2532760 markings, 8334551 edges, 63456 markings/sec, 35 secs
lola: 2852671 markings, 9371577 edges, 63982 markings/sec, 40 secs
lola: 3168408 markings, 10405963 edges, 63147 markings/sec, 45 secs
lola: 3485713 markings, 11436417 edges, 63461 markings/sec, 50 secs
lola: 3800796 markings, 12476822 edges, 63017 markings/sec, 55 secs
lola: 4113669 markings, 13502367 edges, 62575 markings/sec, 60 secs
lola: 4427092 markings, 14530689 edges, 62685 markings/sec, 65 secs
lola: 4742069 markings, 15551464 edges, 62995 markings/sec, 70 secs
lola: 5058288 markings, 16574973 edges, 63244 markings/sec, 75 secs
lola: 5366535 markings, 17574208 edges, 61649 markings/sec, 80 secs
lola: 5671171 markings, 18565140 edges, 60927 markings/sec, 85 secs
lola: 5978374 markings, 19555344 edges, 61441 markings/sec, 90 secs
lola: 6283086 markings, 20557735 edges, 60942 markings/sec, 95 secs
lola: 6588135 markings, 21563695 edges, 61010 markings/sec, 100 secs
lola: 6894324 markings, 22557822 edges, 61238 markings/sec, 105 secs
lola: 7200460 markings, 23552029 edges, 61227 markings/sec, 110 secs
lola: 7506062 markings, 24547270 edges, 61120 markings/sec, 115 secs
lola: 7814983 markings, 25536375 edges, 61784 markings/sec, 120 secs
lola: 8119512 markings, 26539476 edges, 60906 markings/sec, 125 secs
lola: 8425085 markings, 27548650 edges, 61115 markings/sec, 130 secs
lola: 8733009 markings, 28547676 edges, 61585 markings/sec, 135 secs
lola: 9038477 markings, 29542411 edges, 61094 markings/sec, 140 secs
lola: 9343892 markings, 30533810 edges, 61083 markings/sec, 145 secs
lola: 9652589 markings, 31524837 edges, 61739 markings/sec, 150 secs
lola: 9958406 markings, 32527691 edges, 61163 markings/sec, 155 secs
lola: 10262923 markings, 33537457 edges, 60903 markings/sec, 160 secs
lola: 10569617 markings, 34533460 edges, 61339 markings/sec, 165 secs
lola: 10875397 markings, 35523976 edges, 61156 markings/sec, 170 secs
lola: 11180294 markings, 36514866 edges, 60979 markings/sec, 175 secs
lola: 11488090 markings, 37503547 edges, 61559 markings/sec, 180 secs
lola: 11793646 markings, 38506968 edges, 61111 markings/sec, 185 secs
lola: 12097861 markings, 39505529 edges, 60843 markings/sec, 190 secs
lola: 12402461 markings, 40500860 edges, 60920 markings/sec, 195 secs
lola: 12708137 markings, 41496582 edges, 61135 markings/sec, 200 secs
lola: 13012642 markings, 42483457 edges, 60901 markings/sec, 205 secs
lola: 13325872 markings, 43499225 edges, 62646 markings/sec, 210 secs
lola: 13641648 markings, 44524670 edges, 63155 markings/sec, 215 secs
lola: 13955433 markings, 45553462 edges, 62757 markings/sec, 220 secs
lola: 14269274 markings, 46584550 edges, 62768 markings/sec, 225 secs
lola: 14583147 markings, 47602918 edges, 62775 markings/sec, 230 secs
lola: 14896382 markings, 48616282 edges, 62647 markings/sec, 235 secs
lola: 15209772 markings, 49636778 edges, 62678 markings/sec, 240 secs
lola: 15524308 markings, 50652989 edges, 62907 markings/sec, 245 secs
lola: 15833472 markings, 51668107 edges, 61833 markings/sec, 250 secs
lola: 16139779 markings, 52678808 edges, 61261 markings/sec, 255 secs
lola: 16453977 markings, 53694919 edges, 62840 markings/sec, 260 secs
lola: 16765239 markings, 54705744 edges, 62252 markings/sec, 265 secs
lola: 17078889 markings, 55726103 edges, 62730 markings/sec, 270 secs
lola: 17395229 markings, 56743415 edges, 63268 markings/sec, 275 secs
lola: 17707230 markings, 57771034 edges, 62400 markings/sec, 280 secs
lola: 18019326 markings, 58800510 edges, 62419 markings/sec, 285 secs
lola: 18332602 markings, 59816508 edges, 62655 markings/sec, 290 secs
lola: 18644845 markings, 60828342 edges, 62449 markings/sec, 295 secs
lola: 18956496 markings, 61844677 edges, 62330 markings/sec, 300 secs
lola: 19264284 markings, 62833395 edges, 61558 markings/sec, 305 secs
lola: 19567440 markings, 63830241 edges, 60631 markings/sec, 310 secs
lola: 19871216 markings, 64835456 edges, 60755 markings/sec, 315 secs
lola: 20176973 markings, 65825311 edges, 61151 markings/sec, 320 secs
lola: time limit reached - aborting
lola:
preliminary result: 100 100 100 100 unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: 100 100 100 100 unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 100 100 100 100 unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5445716 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 100 100 100 100 unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5445716 KB
lola: time consumption: 3570 seconds

BK_STOP 1526662561017

--------------------
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-D10N100"
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-D10N100.tgz
mv Diffusion2D-PT-D10N100 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-D10N100, 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-152649936900184"
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 ;